Singleraeh.Natural

Documentation

(%+) :: SNat n -> SNat m -> SNat (n + m)

(%-) :: SNat n -> SNat m -> SNat (n - m)

sMod :: SNat n -> SNat m -> SNat (Mod n m)

sDiv :: SNat n -> SNat m -> SNat (Div n m)