hax_lib::proc_macros::fstar

Attribute Macro replace

#[replace]
Expand description

Replaces a Rust item with some verbatim fstar code.