Function mk_neg_rules 

fn mk_neg_rules(
    overflow_mode: OverflowMode,
) -> fn(&[(BaseTy, Expr); N]) -> Option<MatchedRule>

-a