Module 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.

type goal = Evar.t
val uid : goal -> string
val pr_goal : goal -> Pp.t
module V82 : sig ... end
module Set : sig ... end