Attribute Macro pv_constructor
#[pv_constructor]Expand description
A marker indicating a fn should be automatically translated to a ProVerif constructor.
#[pv_constructor]A marker indicating a fn should be automatically translated to a ProVerif constructor.