cryptol-2.12.0: Cryptol: The Language of Cryptography
Safe HaskellNone
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