Function flux_refineck::primops::mk_div_rules
source ยท fn mk_div_rules() -> fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>
Expand description
a/b
fn mk_div_rules() -> fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>
a/b