Cryptol.TypeCheck.Solver.Numeric.Simplify

Simplify a property

crySimplify

crySimplifyMaybe

Simplify expressions in a prop

crySimpPropExpr

crySimpPropExprMaybe