replace_body
hax_lib
0.3.5
In hax_
lib::
lean
hax_lib
::
lean
Attribute Macro
replace_
body
Copy item path
#[replace_body]
Expand description
Replaces the body of a Rust function with some verbatim lean code.