cryptol-2.5.0: Cryptol: The Language of Cryptography

Safe HaskellSafe
LanguageHaskell98

Cryptol.TypeCheck.Solver.Numeric

Documentation

cryIsEqual :: Ctxt -> Type -> Type -> Solved Source #

cryIsNotEqual :: Ctxt -> Type -> Type -> Solved Source #

cryIsGeq :: Ctxt -> Type -> Type -> Solved Source #