Cryptol.TypeCheck.Solver.Numeric.Simplify1

propToProp'

ppProp'