Introduction

 
The Record Format Constructor
      recformat< L > : FieldnameList -> RecFormat
      Example Rec_RecordFormat (H16E1)

 
Creating a Record
      rec< F | L > : RecFormat, FieldAssignmentList -> Rec
      Example Rec_Record (H16E2)

 
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 (H16E3)

[Next][Prev] [Right] [____] [Up] [Index] [Root]