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