diff options
| author | Enrico Tassi | 2018-06-11 18:35:07 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-06-22 10:56:40 +0200 |
| commit | c9ceeac8f294df6f3b5f01b25141cac17c9a1591 (patch) | |
| tree | 042fa5ffb012f26e650a768c6c19dbac35e92cad /kernel/nativelambda.ml | |
| parent | df35025b2be4a0dc9aadecc0e3110a21012683cf (diff) | |
[ssr] set: merge universe constraints before type checking the term
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions