diff options
| author | pes20 | 2019-08-22 08:42:16 +0100 |
|---|---|---|
| committer | pes20 | 2019-08-22 08:42:16 +0100 |
| commit | c7975a53294d6c7ca9cfce7931489ba3f2bc35c8 (patch) | |
| tree | 833c7e0d9cf1077932f84a0b3ac453b7af7f9a98 /lib/coq/Hoare.v | |
| parent | 7821c136a4e83cf25367852d2bffdebf850bd70a (diff) | |
additional option to tweak Coq output to support user-defined monad:
-coq_alt_modules2 <filename> provide additional alternative modules to open only in main (non-_types) Coq output, and suppress default definitions of MR and M monads
Diffstat (limited to 'lib/coq/Hoare.v')
0 files changed, 0 insertions, 0 deletions