diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-05-08 13:59:34 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-08 19:23:52 +0200 |
| commit | d4a81ee817a1a4dbf23d3777be3dff29b96c89db (patch) | |
| tree | ad97b6b9b636148a710932678980c927ea9bbe17 /checker/typeops.mli | |
| parent | efa11b99cd42d8806645109d96720a4c0c83756c (diff) | |
Cleanup code in pretyping/evarutil
Diffstat (limited to 'checker/typeops.mli')
0 files changed, 0 insertions, 0 deletions