cryptol-2.9.1: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.Solver.Numeric
cryIsEqual :: Ctxt -> Type -> Type -> Solved Source #
Try to solve t1 = t2
t1 = t2
cryIsNotEqual :: Ctxt -> Type -> Type -> Solved Source #
Try to solve t1 /= t2
t1 /= t2
cryIsGeq :: Ctxt -> Type -> Type -> Solved Source #
Try to solve t1 >= t2
t1 >= t2