Description
Constructs::ValueSpecification reuses the definition of ValueSpecification from Abstractions::Expressions. It adds a
specialization to Constructs::TypedElement.
Attributes
No additional attributes.
Associations
No additional associations.
Constraints
No additional constraints.
Semantics
No additional semantics.
Notation
No additional notation.