Module Goal_select

type t =
| SelectAlreadyFocused
| SelectNth of int
| SelectList of (int * int) list
| SelectId of Names.Id.t
| SelectAll
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