Name | {_}
{_,_}
{_,_,_}
etc.
|
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).
|