Package

Description
A package is a container for types and other packages.

Attributes

Semantics
Packages provide a way of grouping types and packages together, which can be useful for understanding and managing a
model. A package cannot contain itself.

Notation
Containment of packages and 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.