E.2 New Types

OCL verson 2.0 includes a number of newly defined types. As a new form of collection, the OrderedSet type is included. Furthermore, tuples and tuple types may be used, and there is an explicit type for a very special value, the undefined value. This type conforms to all other types.