module Memo: sig
.. end
Memoization code -- not re-entrant!
val general : ('a -> 'b) -> 'a -> 'b
Returns memoized version of any function with a single argument.
val ident : ?equal:('a -> 'a -> bool) -> ('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.