public readonly struct ConstrKeyDefnForall
Equals | (Inherited from ValueType) |
GetHashCode | (Inherited from ValueType) |
GetType | (Inherited from Object) |
ToString | (Inherited from ValueType) |
BitwiseOr(ConstrKeyDefnForall, ConstraintExpr) | Combines the left hand side of the pipe operator containing key, definition and forall expression with the constraint expression in the right hand side, and returns the resulting constraint. |