Function mk_mul_rules

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

a * b