OpaqueConstraintUnion
PackageReified.Constraint
Why a constraint is invisible to export and proof.
Specification
Kind
Union
Members
8
Examples
0
IsRuntimeNegationSignature
this.IsRuntimeNegation
IsUnsupportedOperandSignature
this.IsUnsupportedOperand
IsCustomPredicateSignature
this.IsCustomPredicate
IsRuntimeProjectionSignature
this.IsRuntimeProjection
CustomPredicateSignature
CustomPredicate description
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsRuntimeNegation | this.IsRuntimeNegation | No description available. |
| IsUnsupportedOperand | this.IsUnsupportedOperand | No description available. |
| IsCustomPredicate | this.IsCustomPredicate | No description available. |
| IsRuntimeProjection | this.IsRuntimeProjection | No description available. |
| CustomPredicate | CustomPredicate description | An arbitrary user predicate, reported with the supplied prose. |
| RuntimeNegation | RuntimeNegation(description, inner) | A negation of an inner constraint. |
| RuntimeProjection | RuntimeProjection inner | An arbitrary user projection applied before the inner constraint. |
| UnsupportedOperand | UnsupportedOperand operation | A built-in operation whose operand has no portable representation. |
An arbitrary user predicate, reported with the supplied prose.
Parameters
| Name | Type | Description |
|---|---|---|
| description | string |
Returns
unit
A negation of an inner constraint. The inner tree is descriptive only.
Parameters
| Name | Type | Description |
|---|---|---|
| description | string | |
| inner | ConstraintDescription |
Returns
unit
An arbitrary user projection applied before the inner constraint.
Parameters
| Name | Type | Description |
|---|---|---|
| inner | ConstraintDescription |
Returns
unit