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