pub fn analyze_monotonicity(expr: &ExprImpl) -> MonotonicityDerivation
Analyze the monotonicity of an expression.