diff options
| author | Pierre-Marie Pédrot | 2014-12-19 15:24:35 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-12-19 15:33:09 +0100 |
| commit | 6550d1ecd5cdd45b4dde353df52d1c20c4dd4fd5 (patch) | |
| tree | 9105f3efe5ca3fa5f6af39201abd23a954dcdb4e /kernel/type_errors.mli | |
| parent | 8181467e240d7643e2d9ff5388cd8e5db5cf56d6 (diff) | |
Fixing checker representation of values.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions