Module Serlib.Ser_goal_selectSource

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