module Why: sig .. end
sig
end
val goal : Wpo.prover -> Wpo.t -> string
Wpo.prover -> Wpo.t -> string