Module type Cache.S

type ('t, 'cache_t) cached
type 'elt t
val name : _ t -> string
val create : name:string -> logger:Logger.t -> on_add:( 'elt -> unit ) -> on_remove:( [ `Consumed | `Unconsumed | `Failure ] -> 'elt -> unit ) -> element_to_string:( 'elt -> string ) -> (module Core_kernel.Hashtbl.Key_plain with type t = 'elt) -> 'elt t
val register_exn : 'elt t -> 'elt -> ( 'elt, 'elt ) cached

register cache elt add elt to cache. If elt * already existed in cache, an Error is returned. * Otherwise, Ok is returned with a Cached * representation of elt.

val mem : 'elt t -> 'elt -> bool
val final_state : 'elt t -> 'elt -> 'elt final_state Core_kernel.Option.t
val element_to_string : 'elt t -> 'elt -> string
val to_list : 'elt t -> 'elt list