HeaderType

HeaderType -- the class of all 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 WrapperType and SelfInitializingType.

topindexpreviousupnext