mk_bit_xor_rules
flux_
refineck
0.1.0
In flux_
refineck::
primops
flux_refineck
::
primops
Function
mk_
bit_
xor_
rules
Copy item path
Source
fn mk_bit_xor_rules() ->
fn
(&[(
BaseTy
,
Expr
);
N
]) ->
Option
<
MatchedRule
>
Expand description
a ^ b