Goal_select
type t =
| SelectAlreadyFocused
| SelectList of Proofview.goal_range_selector list
| SelectAll
val select_nth : int -> t
val pr_goal_selector : t -> Pp.t
val get_default_goal_selector : unit -> t
val tclSELECT : ?nosuchgoal:'a Proofview.tactic -> t -> 'a Proofview.tactic -> 'a Proofview.tactic