module Register: sig .. end
sig
end
val do_wp_proofs : ?provers:Why3.Whyconf.prover list -> ?tip:bool -> Wpo.t Bag.t -> unit
?provers:Why3.Whyconf.prover list -> ?tip:bool -> Wpo.t Bag.t -> unit