Check_cache.State
val add : int -> t -> unit
val disable_all : unit -> unit
val enable_all : unit -> unit
val get : unit -> t
val set : t -> unit