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