12.6. Constraints

A constraint is an expression that returns true or false. For example, you can have a constraint that states five is smaller than six.