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