diff options
Diffstat (limited to 'stdlib/lazy.mli')
| -rw-r--r-- | stdlib/lazy.mli | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index 4a4419c22..6134e1e59 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -63,16 +63,19 @@ val force_val : 'a t -> 'a;; *) val from_fun : (unit -> 'a) -> 'a t;; -(** [from_fun f] is the same as [lazy (f ())] but slightly more efficient. *) +(** [from_fun f] is the same as [lazy (f ())] but slightly more efficient. + @since 4.00.0 *) val from_val : 'a -> 'a t;; (** [from_val v] returns an already-forced suspension of [v]. This is for special purposes only and should not be confused with - [lazy (v)]. *) + [lazy (v)]. + @since 4.00.0 *) val is_val : 'a t -> bool;; (** [is_val x] returns [true] if [x] has already been forced and - did not raise an exception. *) + did not raise an exception. + @since 4.00.0 *) val lazy_from_fun : (unit -> 'a) -> 'a t;; (** @deprecated synonym for [from_fun]. *) |