Functor Memo.Make

module Make: 
functor (M : Hashtbl.HashedType) -> sig .. end
Functorized memoization with user-defined hash function.
Parameters:
M : Hashtbl.HashedType

val memo : ?size:int -> (M.t -> 'a) -> M.t -> 'a
val memo_recursive : ?size:int -> ((M.t -> 'a) -> M.t -> 'a) -> M.t -> 'a