module Results:sig
..end
module Pmap:Map.Make
(
sig
typet =
VCS.prover
val compare :VCS.prover -> VCS.prover -> int
end
)
module Cmap:Map.Make
(
String
)
type
t = {
|
mutable dps : |
|
mutable cps : |
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