Name {_}
Definition { (e1:val(T1:type)) , (e2:val(T2)) , (e3:val(T3)) } : expr(record(T1,T2,T3)) etc.
Example {3,4,[1,2],(2>b)}
Defined in types.l
Implementation icode
Infix {_,_,_} : infix(90,none). etc.
Description Constructs a record from the given elements.
Note There is currently a limit of 20 elements in each record, though this is easily extended. Since the result of the constructor is anonymouse (i.e. it has no field labels) it is generally necessary to cast it to the desired type).