Module Wpo.Results

module Results: sig .. end

type t = (VCS.prover * VCS.result) list Pervasives.ref 
val create : unit -> 'a list Pervasives.ref
val cancel : ('a * VCS.result) list -> ('a * VCS.result) list
val filter : 'a -> ('a * 'b) list -> ('a * 'b) list
val replace : t -> VCS.prover -> VCS.result -> unit
val get : t -> VCS.prover -> VCS.result
val list : t -> (VCS.prover * VCS.result) list