module Memo: sig
.. end
Module for building memoised functions.
val default_size : int
The default size of the hash used in the implementation
val sok : 'a -> string
The string representation of a key
class [['a, 'b]]
memo : ?trace:bool -> ?size:int -> unit ->
object
.. end
The class storing the hash table
type ('a, 'b)
t = ('a, 'b) memo
The abstract type of memoisation tables.
val make : ?trace:bool -> ?size:int -> unit -> ('a, 'b) t
The constructor of memoisation tables.
val call : ('a, 'b) t -> ('a -> 'b) -> 'a -> 'b
The call of a function supervised by a memoisation table.