Macro coq_expr 

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