We're updating the issue view to help you get more done. 

Upgrade term and constraint bindings to structures

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.

Status

Reporter

Thomas Beale

Raised By

Thomas Beale

Components

Affects versions

ADL 2.0