Parameter Make.4-C

type ('k, 'v) t

A cache of values of type 'v, indexed by keys of type 'k.

val create : unit -> (__) t
val add : ('k'v) t -> 'k -> 'v -> unit
val find : ('k'v) t -> 'k -> 'v option
val remove : ('k_) t -> 'k -> unit