process_read
hax_lib
0.3.5
hax_lib
Attribute Macro
process_
read
Copy item path
#[process_read]
Expand description
A marker indicating a
fn
as a ProVerif process read.