Cache (cache_lib.Cache

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.t

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 Intf.final_state Core_kernel.Option.t

val element_to_string : 'elt t -> 'elt -> string

val to_list : 'elt t -> 'elt list