TypedElement

Description
A typed element is a kind of named element that represents elements with types.

Attributes

Semantics
Elements with types are instances of TypedElement. A typed element may optionally have no type. The type of a typed
element constrains the set of values that the typed element may refer to.

Notation
As an abstract class, Basic::TypedElement has no notation.