Throws a Violation condition if the input is not acceptable.
Throws a Violation condition if the input is not acceptable.
Returns the constrained value, which can differ from the input.
Returns the constrained value, which can differ from the input. Throws a Violation condition if the input is not coercable.
Returns the default value for this constraint.
Returns the default value for this constraint.