mod package:incipit-base

integer modulus, satisfying
(x `div` y)*y + (x `mod` y) == x
Modulus of natural numbers. Mod x 0 is undefined (i.e., it cannot be reduced).
Generalisation of mod to any instance of Real
simultaneous div and mod
Generalisation of divMod to any instance of Real