cryptol-2.7.0: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.SimpleSolver
simplify :: Ctxt -> Prop -> Prop Source #
simplifyStep :: Ctxt -> Prop -> Solved Source #