OpaqueConstraintUnion
PackageReified.Constraint
Why a constraint is invisible to export and proof.
Specification
Kind
Union
Members
8
Examples
0
IsRuntimeNegationSignature
this.IsRuntimeNegation
IsRuntimeProjectionSignature
this.IsRuntimeProjection
IsCustomPredicateSignature
this.IsCustomPredicate
IsUnsupportedOperandSignature
this.IsUnsupportedOperand
CustomPredicateSignature
CustomPredicate description
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Union cases | ||
| IsRuntimeNegation | this.IsRuntimeNegation | No description available. |
| IsRuntimeProjection | this.IsRuntimeProjection | No description available. |
| IsCustomPredicate | this.IsCustomPredicate | No description available. |
| IsUnsupportedOperand | this.IsUnsupportedOperand | 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. |