Data.Modular

unMod

toMod

toMod'

data Mod i n

type (/)

type ℤ