hax_lib::proc_macros

Attribute Macro process_read

#[process_read]
Expand description

A marker indicating a fn as a ProVerif process read.