Introduction
The Record Format Constructor recformat< L > : FieldnameList -> RecFormat Example Rec_RecordFormat (H15E1)
Creating a Record rec< F | L > : RecFormat, FieldAssignmentList -> Rec Example Rec_Record (H15E2)
Access and Modification Functions Format(r) : Rec -> RecFormat Names(F) : RecFrmt -> [ 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 (H15E3) [Next][Prev] [Right] [____] [Up] [Index] [Root]
