[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
The Record Format Constructor

The Record Format Constructor

The special constructor recformat< ... > is used for the creation of record formats. A record format must be created before records in that format are created.

recformat< L > : FieldnameList -> RecFormat
Construct the record format corresponding to the non-empty fieldname list L. Each term of L must be one of the following: where fieldname consists of characters that would form a valid identifier name. Note that it is not a string.

Example Rec_RecordFormat (H12E1)

We create a record format with these fields: n, an integer; misc, which has no restrictions; and seq, a sequence (with any universe possible).

> RF := recformat< n : Integers(), misc, seq : SeqEnum >;
> RF;
recformat<n: IntegerRing(), misc, seq: SeqEnum>
> Names(RF);
[ n, misc, seq ]

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