OpaqueExpression (as specialized)

Description
Constructs::OpaqueExpression reuses the definition of OpaqueExpression from Abstractions::Expressions. It adds a
specialization to Constructs::ValueSpecification.

Attributes
No additional attributes.

Associations
No additional associations.

Constraints
No additional constraints.

Semantics
No additional semantics.

Notation
No additional notation.