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