Records

• Introduction
• The Record Format Constructor
  • recformat< L >: FieldnameList → RecFormat
  • Example: Record Format
• Creating a Record
  • rec< F | L >: RecFormat, FieldAssignmentList → Rec
  • Example: Record
• 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: Record Access