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 a059570107..67e5e0764f 100644 --- a/lib/iStream.mli +++ b/lib/iStream.mli @@ -42,6 +42,9 @@ val is_empty : 'a t -> bool val peek : 'a t -> ('a , 'a t) u (** Return the head and the tail of a stream, if any. *) +val is_val : 'a t -> bool +(** Check if the head has already been evaluated. *) + (** {6 Standard operations} All stream-returning functions are lazy. The other ones are eager. *) |