cryptol-3.0.0: Cryptol: The Language of Cryptography
Safe HaskellTrustworthy
LanguageHaskell2010

Cryptol.TypeCheck.SimpleSolver

Documentation

simplify :: Ctxt -> Prop -> Prop Source #

simplifyStep :: Ctxt -> Prop -> Solved Source #