author | paulson |
Wed, 27 Jun 2007 12:41:36 +0200 | |
changeset 23510 | 4521fead5609 |
parent 23442 | 028e39e5e8f3 |
child 39353 | 7f11d833d65b |
permissions | -rw-r--r-- |
(* ========================================================================= *) (* SUPPORT FOR LAZY EVALUATION *) (* Copyright (c) 2007 Joe Hurd, distributed under the BSD License *) (* ========================================================================= *) signature Lazy = sig type 'a lazy val delay : (unit -> 'a) -> 'a lazy val force : 'a lazy -> 'a val memoize : (unit -> 'a) -> unit -> 'a end