Type (additional properties)

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.