Module 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 🔒
  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

Type Aliases

• RuleMatcher 🔒