Details
-
Type:
Change Request
-
Status: Analysis
-
Priority:
Major
-
Resolution: Unresolved
-
Affects versions: ADL 2.0
-
Fix versions: ADL 3.0.0
-
Components: AOM2, Documentation
-
Labels:None
-
Impact Analysis:
Description
Currently term and constraint bindings are 1:1 equivalences, and thus cannot carry any extra meta-data such as provenance, design intention, or other formal elements.