hax_lib::proc_macros

Attribute Macro pv_handwritten

#[pv_handwritten]
Expand description

A marker indicating a fn requires manual modelling in ProVerif.