cryptol-2.8.0: Cryptol: The Language of Cryptography

Safe Haskell	Trustworthy
Language	Haskell2010

Cryptol.TypeCheck.SimpleSolver

Documentation

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

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