Name	val_index_record
Definition	val_index_record:overloaded. val_index_record(i:val(int),R:val(record(T1:type)),TR:type):expr(TR). val_index_record(i:val(int),R:val(record(T1:type,T2:type)),TR:type):expr(TR). etc.
Defined in	types.l
Implementation	icode
Description	The compiler converts calls to the field selection operator -> with value operands into calls to this function; it need not be called directly. It returns the i'th field of record R which has type TR.