# Records

- [Introduction](introduction.md)

- [The Record Format Constructor](creation-format.md)

  - [`recformat< L >: FieldnameList → RecFormat`](creation-format.md#constructor-constructor-recformat-fieldnamelist-recformat)

  - [`Example: Record Format`](creation-format.md#example-ex-d1148b)

- [Creating a Record](creation-record.md)

  - [`rec< F | L >: RecFormat, FieldAssignmentList → Rec`](creation-record.md#constructor-constructor-rec-recformat-fieldassignmentlist-rec)

  - [`Example: Record`](creation-record.md#example-ex-648bdd)

- [Access and Modification Functions](access-modification.md)

  - [`Format(r): Rec → RecFormat`](access-modification.md#function-format-rec)

  - [`Names(F): RecFrmt → [ MonStgElt ]`](access-modification.md#function-names-recfrmt)

  - [`Names(r): Rec → [ MonStgElt ]`](access-modification.md#function-names-rec)

  - [`r`fieldname: Rec, Fieldname → Elt`](access-modification.md#literal-literal-r-fieldname-rec-fieldname-elt)

  - [`r`fieldname := expression;`](access-modification.md#literal-literal-r-fieldname-expression)

  - [`delete r`fieldname: Rec, Fieldname → Nil`](access-modification.md#operation-operation-delete-rec-fieldname-nil)

  - [`assigned r`fieldname: Rec, Fieldname → BoolElt`](access-modification.md#operation-operation-assigned-rec-fieldname-boolelt)

  - [`r`` s: Rec, String → Elt`](access-modification.md#literal-literal-r-s-rec-string-elt)

  - [`Example: Record Access`](access-modification.md#example-ex-81cb41)