flux_refineck::primops

Function mk_bit_xor_rules

Source 
fn mk_bit_xor_rules() -> fn(&[(BaseTy, Expr); N]) -> Option<MatchedRule>
Expand description

a ^ b