ConstraintDescriptionModule
PackageReified.Constraint
Builds and traverses constraint descriptions.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| 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. |
The immediate child descriptions of a node, in authored order.
Parameters
| Name | Type | Description |
|---|---|---|
| description | ConstraintDescription |
Returns
ConstraintDescription list
True when the node itself declines export and proof. Its children may still be inspectable.
Parameters
| Name | Type | Description |
|---|---|---|
| description | ConstraintDescription |
Returns
bool