ConstraintDescriptionModule
PackageReified.Constraint
Builds and traverses constraint descriptions.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Representation | ||
| Description | Description | Non-diagnostic prose attached by Constraint.describe, for documentation and inspection. |
| Expression | Expression | The constraint's logical form. |
| Operations | ||
| children | ConstraintDescription.children description | The immediate child descriptions of a node, in authored order. |
| isOpaque | ConstraintDescription.isOpaque description | True when the node itself declines export and proof. |
| atoms | ConstraintDescription.atoms description | Every interpreted primitive reachable without crossing an opacity boundary, in authored order. |