Evd.FutureGoals
type t
val comb : t -> Evar.t list
val map_filter : (Evar.t -> Evar.t option) -> t -> t
Applies a function on the future goals
val filter : (Evar.t -> bool) -> t -> t
Applies a filter on the future goals