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