Module Serlib.Ser_goal_select

module Names = Ser_names
type t = Goal_select.t =
  1. | SelectAlreadyFocused
  2. | SelectNth of int
  3. | SelectList of (int * int) list
  4. | SelectId of Names.Id.t
  5. | SelectAll
val to_yojson : t -> Yojson.Safe.t
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t