lean_bench
xtask
0.1.0
xtask
Function
lean_
bench
Copy item path
Source
pub(crate) fn lean_bench(args:
LeanBench
, rust_fixpoint:
bool
) ->
Result
<
()
>