ConstraintDescriptionRecord
PackageReified.Constraint
Builds and traverses constraint descriptions.
Fields
| Name | Type | Description |
|---|---|---|
| Description | Description | Non-diagnostic prose attached by Constraint.describe, for documentation and inspection. |
| Expression | Expression | The constraint's logical form. |
Specification
Kind
Record
Members
3
Examples
0
childrenSignature
ConstraintDescription.children description
isOpaqueSignature
ConstraintDescription.isOpaque description
atomsSignature
ConstraintDescription.atoms description
Summary
| Name | Signature | Synopsis |
|---|---|---|
| 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. |