!     Safe &'.HUVX0 modular-arithmetic'A modular number with an unknown bound.modular-arithmetic7A synonym for Integer, also inspired by the !$/n syntax.modular-arithmeticA synonym for Mod., inspired by the !$/n syntax from mathematics.modular-arithmeticWraps an underlying  Integeral type i( in a newtype annotated with the bound n.modular-arithmetic:Extract the underlying integral value from a modular type.modular-arithmeticReturns the bound of the modular type in the type itself. This breaks the invariant of the type, so it shouldn't be used outside this module.modular-arithmeticWInjects a value of the underlying type into the modulus type, wrapping as appropriate.modular-arithmetic<Wraps an integral number, converting between integral types.modular-arithmeticThe modular inverse. inv 3 :: !$/75 3 * 5 :: !$/71"Note that only numbers coprime to n have an inverse modulo n:  inv 6 :: !$/15:** Exception: divide by 6 (mod 15), non-coprime to modulusmodular-arithmeticConvert an integral number i into a  value given modular bound n at type level. modular-arithmeticConvert an integral number i into a  value with an unknown modulus. modular-arithmetic&Integer division uses modular inverse :, so it is possible to divide only by numbers coprime to n and the remainder is always 0.        1modular-arithmetic-1.2.1.5-JLKHidVOWrs7Brpxk3yD8d Data.ModularSomeModℤ/ModunModtoModtoMod'invmodVal someModVal $fIntegralMod $fRealMod $fBoundedMod $fEnumMod$fNumMod $fReadMod $fShowMod $fShowSomeMod$fEqMod$fOrdMod_bound