WrapperType -- a class of lists with abbreviated constructors
The type WrapperType is a member of the class Type.
Each object of class WrapperType is called a wrapper type.
Each wrapper 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,...}, or, for lists of
length one, by an expression of the form X a. They also act
on sequences.
i1 : X = new WrapperType of BasicList
o1 = X
o1 : WrapperType |
i2 : X {a,b,c}
o2 = X{a, b, c}
o2 : X |
i3 : X a
o3 = X{a}
o3 : X |
See also:
Methods for using a wrapper type :
Fixed objects of class WrapperType :