hax_lib::proc_macros

Attribute Macro process_write

#[process_write]
Expand description

A marker indicating a fn as a ProVerif process write.