hax_
lib_
macros
0.3.2
hax_lib_macros
Macro
fstar_prop_expr
Copy item path
Source
fstar_prop_expr!() {
/* proc-macro */
}