diff options
| author | Pierre-Marie Pédrot | 2014-07-03 17:45:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-03 17:45:06 +0200 |
| commit | c892f8cab37c0a89f6975e6a14bebad4d86156bd (patch) | |
| tree | c599bb1bafa4841b7a8ad539a83f4103413d4d10 /kernel/type_errors.ml | |
| parent | b17fb013f1810106b8cd88a12a2df3f26dc7c289 (diff) | |
Adding a coiterator to IStream.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions