diff options
| author | Enrico Tassi | 2018-11-12 19:33:09 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-11-14 10:49:59 +0100 |
| commit | 68197ed162d0dd5e3a1b9bf490a81b6e840a8408 (patch) | |
| tree | 0b4329b5ee213cbc9c518c4eb374ac23cf489b5e /kernel/type_errors.mli | |
| parent | 91fb0d2414e478bafbff8aabb8e1238b46f45561 (diff) | |
ssr: elim: do resolve TC once and forall at the very end
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions