flux_
refineck
0.1.0
In flux_
refineck::
primops
Structs
MatchedRule
Pre
RuleTable
Statics
DEFAULT_BIN_OPS
DEFAULT_UN_OPS
OVERFLOW_BIN_OPS
OVERFLOW_UN_OPS
Functions
match_bin_op
match_un_op
mk_add_rules
mk_bit_and_rules
mk_bit_or_rules
mk_bit_xor_rules
mk_div_rules
mk_eq_rules
mk_ge_rules
mk_gt_rules
mk_le_rules
mk_lt_rules
mk_mul_rules
mk_ne_rules
mk_neg_rules
mk_not_rules
mk_rem_rules
mk_shl_rules
mk_shr_rules
mk_sub_rules
Type Aliases
RuleMatcher
flux_refineck
::
primops
Function
mk_div_rules
Copy item path
Settings
Help
Summary
Source
fn mk_div_rules() ->
fn
(_: &[(
BaseTy
,
Expr
);
N
]) ->
Option
<
MatchedRule
>
Expand description
a/b