Module Wpo.Results


module Results: sig .. end

type t = (Wpo.prover, Wpo.result) Hashtbl.t 
val create : unit -> ('a, 'b) Hashtbl.t
val replace : ('a, 'b) Hashtbl.t -> 'a -> 'b -> unit
val clear : ('a, 'b) Hashtbl.t -> unit
val remove : ('a, 'b) Hashtbl.t -> 'a -> unit
val get : ('a, 'b) Hashtbl.t -> 'a -> 'b option
val iter : ('a -> 'b -> unit) -> ('a, 'b) Hashtbl.t -> unit