Goal
This module implements the abstract interface to goals. Most of the code here is useless and should be eventually removed. Consider using Proofview.Goal instead.
Proofview.Goal
type goal
= Evar.t
val uid : goal -> string
val pr_goal : goal -> Pp.t
module V82 : sig ... end
module Set = Evar.Set