Module Prover.Why


module Why: sig .. end

val goal : Wpo.prover -> Wpo.t -> string