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 = {

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