hax_lib::proc_macros

Attribute Macro process_init

#[process_init]
Expand description

A marker indicating a fn as a ProVerif process initialization.