cryptol-2.8.0: Cryptol: The Language of Cryptography

Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.Solver.Numeric

Synopsis

Documentation

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

Try to solve t1 = t2

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

Try to solve t1 /= t2

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

Try to solve t1 >= t2