Module fstar

Expand description

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

Macros§

prop

Attribute Macros§

after
before
options
postprocess_with
replace
replace_body
smt_pat
verification_status