diff options
| author | Arnaud Spiwack | 2015-06-26 21:15:36 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-09-25 10:40:10 +0200 |
| commit | e0547f9e9134a9fff122df900942a094c53535c3 (patch) | |
| tree | 9b5a11a7fb28857dd26f472d6329e14a1529393a /kernel/nativecode.mli | |
| parent | 576d7a815174106f337fca2f19ad7f26a7e87cc4 (diff) | |
Add a flag in `VernacFixpoint` and `VernacCoFixpoint` to control assuming guardedness.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions