diff options
Diffstat (limited to 'stdlib/lazy.mli')
| -rw-r--r-- | stdlib/lazy.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index afdb1e6d1..f0255c224 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -39,7 +39,8 @@ type 'a t = 'a lazy_t;; exception Undefined;; -val force : 'a t -> 'a;; +external force : 'a t -> 'a = "%lazy_force";; +(* val force : 'a t -> 'a ;; *) (** [force x] forces the suspension [x] and returns its result. If [x] has already been forced, [Lazy.force x] returns the same value again without recomputing it. If it raised an exception, |