| Previous | Table of Contents | Next | 
   Constructs::OpaqueExpression reuses the definition of OpaqueExpression	    from Abstractions::Expressions. It adds a specialization
            to Constructs::ValueSpecification. 
   Generalizations 
• “PackageableElement? on page 145
• “TypedElement? on page 131
   Attributes 
   No additional attributes 
   Associations 
   No additional associations 
   Constraints 
   No additional constraints 
   Semantics 
   No additional semantics 
   Notation 
   No additional notation