The detailed semantics and precise interface are specified in the class library documentation. Variables declared by this type may hold any object. It has no features. Any reference class which includes it obtains an array of elements of type T in addition to any attributes it has defined. In such classes, new has a single integer argument that specifies the size of the array portion.
Array indices start at zero.
Classes which include AVAL must define asize as an integer constant which determines the size of the array portion. TUP names a set of parameterized value types called tuples, one for each number of parameters. It defines create with an argument corresponding to each attribute. BOOL defines value objects which represent boolean values. The initial value is false .