Function mk_mul_rules 

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

a * b