SelfInitializingType

SelfInitializingType -- the class of all self initializing types.

A self initializing type X will produce an instance of X from initial data v with the expression X v.

i1 : X = new SelfInitializingType of BasicList



o1 = X



o1 : SelfInitializingType

i2 : x = X {1,2,3}



o2 = X{1, 2, 3}



o2 : X

i3 : class x



o3 = X



o3 : SelfInitializingType

Command is an example of a self initializing type.