HeaderType -- a class of lists with abbreviated constructors
The type HeaderType is a member of the class Type.
Each object of class HeaderType is called a header type.
Each header type is also a member of class Type.
More general types (whose methods may also apply) :
These are the types X of lists which can be constructed
by expressions of the form X {a,b,c,...}. They also
act on sequences.
i1 : X = new HeaderType of BasicList
o1 = X
o1 : HeaderType |
i2 : X {a,b,c}
o2 = X{a, b, c}
o2 : X |
See also:
Methods for using a header type :
Fixed objects of class HeaderType :