IdrisDoc: Data.Mod2

Data.Mod2

data Mod2 : Nat -> Type

Integers modulo 2^n

MkMod2 : Bits n -> Mod2 n
div : Mod2 n -> Mod2 n -> Mod2 n
Fixity
Left associative, precedence 9
intToMod : Integer -> Mod2 n
modBin : (Bits n -> Bits n -> Bits n) -> Mod2 n -> Mod2 n -> Mod2 n
rem : Mod2 n -> Mod2 n -> Mod2 n