diff options
| author | Hugo Herbelin | 2020-11-15 13:27:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-15 17:35:02 +0100 |
| commit | 4b4ae1345858070a96b70d7d6c043d0ff9f5a4a7 (patch) | |
| tree | f3f47eced457b39a9cd599a566d8717ae11f21f9 /kernel/type_errors.mli | |
| parent | 93ee64000d4e121718b4735468626b481b2533bc (diff) | |
Locating the Ill-typed evar instance error.
Even though it is not strongly supposed to be raised.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions