diff options
| author | Arnaud Spiwack | 2014-02-24 16:23:04 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-24 16:23:04 +0100 |
| commit | 03d5cf5686e9ea5448ee5e4901792130d9527a74 (patch) | |
| tree | 5659ada4f7f75ddfc3f38cf94e1f843bbb7e42d5 /kernel/type_errors.mli | |
| parent | 6d81918e8ca57514eaa5456ed6e77ce39a410725 (diff) | |
A view type for IStream.
View types are better practice than option types for pattern-matching. (Plus, they save a minute amount of allocations)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions