hax_lib::proc_macros

Module proverif

Expand description

Procedular macros that have an effect only for the backend proverif.

Macros§

prop: The Prop version of proverif_expr.

Attribute Macros§

after: This macro inlines verbatim proverif code before a Rust item.
before: This macro inlines verbatim proverif code before a Rust item.
replace: Replaces a Rust item with some verbatim proverif code.
replace_body: Replaces the body of a Rust function with some verbatim proverif code.