ConstraintDescriptionRecord
PackageReified.Constraint
What a constraint says, as inspectable data.
Fields
| Name | Type | Description |
|---|---|---|
| Description | Description | Non-diagnostic prose attached by Constraint.describe, for documentation and inspection. |
| Expression | Expression | The constraint's logical form. |