diff options
| author | Arnaud Spiwack | 2014-02-24 17:06:42 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-24 17:06:42 +0100 |
| commit | fba4a5db9769b3d31256d840923d76335adb64ba (patch) | |
| tree | caa1772c08a4f2386d16e34b089ca520986af46e /kernel/nativecode.mli | |
| parent | b565bb91802982ee67b4b580b68d6fb4c7f93335 (diff) | |
IStream: more efficient implementation of concat_map.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions