Function mk_sub_rules

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

a - b