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]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012