diff options
Diffstat (limited to 'lib/iStream.mli')
| -rw-r--r-- | lib/iStream.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/iStream.mli b/lib/iStream.mli index 61967f49e4..a059570107 100644 --- a/lib/iStream.mli +++ b/lib/iStream.mli @@ -31,6 +31,9 @@ val cons : 'a -> 'a t -> 'a t val thunk : (unit -> ('a,'a t) u) -> 'a t (** Internalize the lazyness of a stream. *) +val make : ('a -> ('b, 'a) u) -> 'a -> 'b t +(** Coiteration constructor. *) + (** {6 Destructors} *) val is_empty : 'a t -> bool |