cryptol-3.2.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.F2

Documentation

pmult :: Int -> Integer -> Integer -> Integer Source #

pdiv :: Int -> Integer -> Integer -> Integer Source #

pmod :: Int -> Integer -> Integer -> Integer Source #