Module Wpo.Results

module Results: sig .. end

module Pmap: Map.Make(sig
type t = VCS.prover 
val compare : VCS.prover -> VCS.prover -> int
end)
module Cmap: Map.Make(String)
type t = {
   mutable dps : VCS.result Pmap.t;
   mutable cps : VCS.result Cmap.t;
}
val not_computing : 'a -> VCS.result -> bool
val class_of_prover : VCS.prover -> string option
val create : unit -> t
val get : t -> Pmap.key -> VCS.result
val replace : t -> Pmap.key -> VCS.result -> unit
val list : t -> (Pmap.key * VCS.result) list