ConstraintDescriptionRecord
PackageReified.Constraint
Builds and traverses constraint descriptions.
Fields
| Name | Type | Description |
|---|---|---|
| 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. |
| Description | Description | Non-diagnostic prose attached by Constraint.describe, for documentation and inspection. |
| Expression | Expression | The constraint's logical form. |