Module Prover.Why


module Why: sig .. end

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