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