hax_lib::proc_macros::fstar

Attribute Macro replace_body

#[replace_body]
Expand description

Replaces the body of a Rust function with some verbatim fstar code.