module Results:sig
..end
typet =
(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