The Record Format Constructor
recformat< L > : FieldnameList -> RecFormat
Example Rec_RecordFormat (H14E1)
Creating a Record
rec< F | L > : RecFormat, FieldAssignmentList -> Rec
Example Rec_Record (H14E2)
Access and Modification Functions
Format(r) : Rec -> RecFormat
Names(F) : RecFormat -> [ MonStgElt ]
Names(r) : Rec -> [ MonStgElt ]
r`fieldname : Rec, Fieldname -> Elt
r`fieldname := expression;
delete r`fieldname : Rec, Fieldname -> Nil
assigned r`fieldname : Rec, Fieldname -> BoolElt
r``s : Rec, String -> Elt
Example Rec_RecordAccess (H14E3)