replace

hax_lib::proc_macros::proverif

Attribute Macro replace 

#[replace]
Expand description

Replaces a Rust item with some verbatim proverif code.