diff options
| author | Arnaud Spiwack | 2015-09-25 15:09:15 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-09-25 15:09:15 +0200 |
| commit | caf8402e4af75d85223e10cba68a6a145e050dab (patch) | |
| tree | e8c3af2139d78b7e0117fd4987b7eb3732381577 /dev | |
| parent | 0b20282c49253aea4429384467b75a5bdb1f8ba4 (diff) | |
Add a field in `constant_body` to track constant whose well-foundedness is assumed.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions