Description
A type is a named element that is used as the type for a typed element
Attributes
No additional attributes.
Semantics
Type is the abstract class that represents the general notion of the type of a typed element and constrains the set of values
that the typed element may refer to.
Notation
As an abstract class, Basic::Type has no notation.