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