mod package:constraints

Modulus of natural numbers. Mod x 0 is undefined (i.e., it cannot be reduced).