opentheory-byte-1.125: Bytes
OpenTheory.Byte
Description
width :: Natural Source
modulus :: Natural Source
random :: Random -> Byte Source