Module ProverWhy3.Goal

module Goal: sig .. end

type t = ProverWhy3.goal 
val compare : t -> t -> int
val pretty : Stdlib.Format.formatter -> t -> unit