diff options
| author | Arnaud Spiwack | 2014-02-24 16:57:04 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-24 16:57:04 +0100 |
| commit | b565bb91802982ee67b4b580b68d6fb4c7f93335 (patch) | |
| tree | 1e086e5530ae7c4c78bf9389db8698ae258c375b /lib/iStream.ml | |
| parent | 23eeacf4c22055a60b9f64ba308f9198ba4d938b (diff) | |
IStream: a concat_map primitive.
Diffstat (limited to 'lib/iStream.ml')
| -rw-r--r-- | lib/iStream.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/iStream.ml b/lib/iStream.ml index 1d9f55998e..bcb5336f23 100644 --- a/lib/iStream.ml +++ b/lib/iStream.ml @@ -76,3 +76,5 @@ let rec concat_node = function and concat (s : 'a t t) = lazy (concat_node (Lazy.force s)) + +let concat_map f l = concat (map f l) |