minus
Create the asymmetric difference of the receiver and the given exact value. This is the restriction that a register would have if it held a value that satisfied the receiver, but failed a value comparison against the given value.
Return
The new type restriction.
Parameters
value
The value to exclude from the receiver to create a new TypeRestriction.