module Memo: sig
.. end
Memoization code
val general : ('a -> 'b) -> 'a -> 'b
Returns memoized version of any function with a single argument.
val ident : ('a -> 'b) -> 'a -> 'b
Returns memoized version of any function where data is kept
until argument changes.
val unit : (unit -> 'a) -> unit -> 'a
Returns memoized version of any function with argument unit.