Description
A type can be contained in a package.
Attributes
Semantics
No additional semantics.
Notation
Containment of types in packages uses the same notation as for Constructs::Packages with the omission of those aspects
of the notation that cannot be represented by the Basic model.