author | wenzelm |
Fri, 26 Apr 2024 13:25:44 +0200 | |
changeset 80150 | 96f60533ec1d |
parent 72004 | 913162a47d9f |
permissions | -rw-r--r-- |
(* ========================================================================= *) (* SUPPORT FOR LAZY EVALUATION *) (* Copyright (c) 2007 Joe Leslie-Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Lazy = sig type 'a lazy val quickly : 'a -> 'a lazy val delay : (unit -> 'a) -> 'a lazy val force : 'a lazy -> 'a val memoize : (unit -> 'a) -> unit -> 'a end