Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
crySimpExpr
crySimpExprMaybe
data Sign
otherSign
signed
splitSum
normSum
crySimpExprStep
crySimpExprStep1