IdrisDoc: Data.Mod2

Data.Mod2

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

Integers modulo 2^n

MkMod2 : Bits n -> Mod2 n