sig
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 : Wpo.Results.t -> VCS.prover -> VCS.result -> unit
val get : Wpo.Results.t -> VCS.prover -> VCS.result
val list : Wpo.Results.t -> (VCS.prover * VCS.result) list
end