Next: Packages and Attributes [HB
Up: Language and System Features
Previous: Random Object Generation [HB
Types and Structures [HB 1]
New features:
-
New function ISA(T, U) for types T and U to return
whether T ISA U, i.e., whether objects of type T inherit
properties of type U.
-
New function ElementType(S) to return the type of the
elements of structure S.
-
New functions CoveringStructure and ExistsCoveringStructure
to return the covering structure C of two structures S and T if
it exists, so that S and T both embed into C.