diff options
| author | Matthieu Sozeau | 2016-06-15 15:50:18 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-06-16 18:21:08 +0200 |
| commit | 52620cf8ad42a47ba5e90a01b4368220085b654a (patch) | |
| tree | 1fe3d3d932484518a83542a76d1c89944ad883ca /kernel/type_errors.mli | |
| parent | 56219d80edc91eeab1a8165db87b565165b7e810 (diff) | |
Bind resolve_one_typeclass to 8.5 or 8.6 resolution
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions