Module primops

flux_refineck

Module primops 

Source

Structs§

MatchedRule 🔒
Pre 🔒
RuleTable 🔒

Statics§

OVERFLOW_LAZY_BIN_OPS 🔒
OVERFLOW_LAZY_UN_OPS 🔒
OVERFLOW_NONE_BIN_OPS 🔒
OVERFLOW_NONE_UN_OPS 🔒
OVERFLOW_STRICT_BIN_OPS 🔒
OVERFLOW_STRICT_UNDER_BIN_OPS 🔒
OVERFLOW_STRICT_UN_OPS 🔒

Functions§

match_bin_op 🔒
match_un_op 🔒
mk_add_rules 🔒
a + b
mk_bit_and_rules 🔒
a & b
mk_bit_or_rules 🔒
a | b
mk_bit_xor_rules 🔒
a ^ b
mk_div_rules 🔒
a/b
mk_eq_rules 🔒
a == b
mk_ge_rules 🔒
a >= b
mk_gt_rules 🔒
a > b
mk_le_rules 🔒
a <= b
mk_lt_rules 🔒
a < b
mk_mul_rules 🔒
a * b
mk_ne_rules 🔒
a != b
mk_neg_rules 🔒
-a
mk_not_rules 🔒
!a
mk_rem_rules 🔒
a % b
mk_shl_rules 🔒
a << b
mk_shr_rules 🔒
a >> b
mk_sub_rules 🔒
a - b
valid_int 🔒
valid_uint 🔒

Type Aliases§

RuleMatcher 🔒