sig
type ('k, 'v) t
type ('a, 'b) memo = ('a, ('b, exn) Core.Std.Result.t) Cache.Keep_all.t
val find : ('k, 'v) Cache.Keep_all.t -> 'k -> 'v option
val add : ('k, 'v) Cache.Keep_all.t -> key:'k -> data:'v -> unit
val remove : ('k, 'a) Cache.Keep_all.t -> 'k -> unit
val clear : ('a, 'b) Cache.Keep_all.t -> unit
val create : destruct:('v -> unit) option -> ('k, 'v) Cache.Keep_all.t
val call_with_cache :
cache:('a, 'b) Cache.Keep_all.memo -> ('a -> 'b) -> 'a -> 'b
val memoize :
?destruct:('b -> unit) ->
('a -> 'b) -> ('a, 'b) Cache.Keep_all.memo * ('a -> 'b)
end