Macro coq_expr

coq_expr!() { /* proc-macro */ }