process_init
hax_lib
0.3.5
In hax_
lib::
proc_
macros
hax_lib
::
proc_macros
Attribute Macro
process_
init
Copy item path
#[process_init]
Expand description
A marker indicating a
fn
as a ProVerif process initialization.