package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.Ser_proofviewSource

Sourcemodule Names = Ser_names
Sourcetype goal_range_selector = Proofview.goal_range_selector =
  1. | NthSelector of int
  2. | RangeSelector of int * int
  3. | IdSelector of Names.Id.t
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
Sourceval _ : Yojson.Safe.t -> goal_range_selector Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_goal_range_selector : Ppx_hash_lib.Std.Hash.state -> goal_range_selector -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_goal_range_selector : goal_range_selector -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_goal_range_selector : goal_range_selector -> goal_range_selector -> int