hax_lib::proc_macros::coq

Macro prop

prop!() { /* proc-macro */ }
Expand description

The Prop version of coq_expr.