Goal_select
type t =
| SelectAlreadyFocused |
| SelectNth of int |
| SelectList of (int * int) list |
| SelectId of Names.Id.t |
| SelectAll |
val get_default_goal_selector : unit -> t
val tclSELECT :
?nosuchgoal:'a Proofview.tactic ->
t ->
'a Proofview.tactic ->
'a Proofview.tactic