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