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 * '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