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 -> 'a -> string
type 'a runner =
timeout:int option ->
steplimit:int option -> Why3Provers.t -> 'a -> VCS.result Task.task
val get_result :
digest:'a Cache.digest -> runner:'a Cache.runner -> 'a Cache.runner
val clear_result : digest:'a Cache.digest -> Why3Provers.t -> 'a -> unit
end