Function mk_neg_rules

fn mk_neg_rules(
    check_overflow: bool,
) -> fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>

-a