Module Memo (.ml)


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.