pv_handwritten
hax_lib
0.3.5
hax_lib
Attribute Macro
pv_
handwritten
Copy item path
#[pv_handwritten]
Expand description
A marker indicating a
fn
requires manual modelling in ProVerif.