replace

hax_lib::lean

Attribute Macro replace 

#[replace]
Expand description

Replaces a Rust item with some verbatim lean code.