cryptol-2.5.0: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.Solver.Numeric
cryIsEqual :: Ctxt -> Type -> Type -> Solved Source #
cryIsNotEqual :: Ctxt -> Type -> Type -> Solved Source #
cryIsGeq :: Ctxt -> Type -> Type -> Solved Source #