diff options
| author | Gaëtan Gilbert | 2017-11-10 15:05:21 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-11 22:28:39 +0100 |
| commit | 6c2d10b93b819f0735a43453c78566795de8ba5a (patch) | |
| tree | 14dffe59d0edfacf547b3912352f14420df047b8 /kernel/nativecode.mli | |
| parent | 1ed0836a7e0c8e05b0288f85e344ef5249d5d228 (diff) | |
Use specialized function for inductive subtyping inference.
This ensures by construction that we never infer constraints outside
the variance model.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions