Ser_proofview (p.coq-lsp.0.2.5+9.1.doc.coq-lsp.serlib.Serlib.Ser

Sourcemodule Names = Ser_names

Sourcetype goal_range_selector = Proofview.goal_range_selector =

Sourceval goal_range_selector_of_sexp : Sexplib0.Sexp.t -> goal_range_selector

Sourceval sexp_of_goal_range_selector : goal_range_selector -> Sexplib0.Sexp.t

Sourceval goal_range_selector_to_yojson : goal_range_selector -> Yojson.Safe.t

val goal_range_selector_of_yojson : 
  Yojson.Safe.t ->
  goal_range_selector Ppx_deriving_yojson_runtime.error_or

val _ : 
  Yojson.Safe.t ->
  goal_range_selector Ppx_deriving_yojson_runtime.error_or

val hash_fold_goal_range_selector : 
  Ppx_hash_lib.Std.Hash.state ->
  goal_range_selector ->
  Ppx_hash_lib.Std.Hash.state

val hash_goal_range_selector : 
  goal_range_selector ->
  Ppx_hash_lib.Std.Hash.hash_value

val compare_goal_range_selector : 
  goal_range_selector ->
  goal_range_selector ->
  int