author | blanchet |
Mon, 13 Sep 2010 21:09:43 +0200 | |
changeset 39348 | 6f9c9899f99f |
child 39349 | 2d0a4361c3ef |
permissions | -rw-r--r-- |
(* ========================================================================= *) (* SUPPORT FOR LAZY EVALUATION *) (* Copyright (c) 2007 Joe Hurd, distributed under the GNU GPL version 2 *) (* ========================================================================= *) 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