diff options
| author | Pierre-Marie Pédrot | 2019-06-10 18:16:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-17 15:20:47 +0200 |
| commit | 4d63d20796ecffa1b04668f493bbef029e12f63d (patch) | |
| tree | b408bd767cf5654747613ab30cf411166b34c25f /kernel/term_typing.ml | |
| parent | a69bb15b1d76b71628b61bc42eb8d79c098074a8 (diff) | |
Clean up the code adding monomorphic global constraints in Safe_typing.
Diffstat (limited to 'kernel/term_typing.ml')
0 files changed, 0 insertions, 0 deletions