sig
  type mode = NoCache | Update | Replay | Rebuild | Offline | Cleanup
  val get_dir : unit -> string
  val set_mode : Cache.mode -> unit
  val get_mode : unit -> Cache.mode
  val get_hits : unit -> int
  val get_miss : unit -> int
  val get_removed : unit -> int
  val is_updating : unit -> bool
  val cleanup_cache : unit -> unit
  type 'a digest = Why3Provers.t -> '-> string
  type 'a runner =
      timeout:int option ->
      steplimit:int option -> Why3Provers.t -> '-> VCS.result Task.task
  val get_result :
    digest:'Cache.digest -> runner:'Cache.runner -> 'Cache.runner
  val clear_result : digest:'Cache.digest -> Why3Provers.t -> '-> unit
end