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