diff options
| author | Gaëtan Gilbert | 2020-09-30 12:25:02 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-10-06 12:40:33 +0200 |
| commit | c8c1723747c7e0eb748861cc12aecca411848f4c (patch) | |
| tree | d3e62beaa23ca07f199ca3f0928c87511f1ba19e /kernel/type_errors.ml | |
| parent | 6d3a9220204de22e0b81dc961d2eb269128b5c2e (diff) | |
First list in cl_context is just booleans
Used only by implicit_quantifiers
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions