Module coq

Source
Expand description

Procedular macros that have an effect only for the backend coq.

Macros§

prop

Attribute Macros§

after
before
replace
replace_body