hax_lib
0.3.2
In hax_
lib::
proc_
macros::
proverif
hax_lib
::
proc_macros
::
proverif
Macro
prop
Copy item path
prop!() {
/* proc-macro */
}
Expand description
The
Prop
version of
proverif_expr
.