package vscoq-language-server

  1. Overview
  2. Docs
module Position : sig ... end
module Range : sig ... end
module DiagnosticSeverity : sig ... end
type query_result = {
  1. id : string;
  2. name : Printing.pp;
  3. statement : Printing.pp;
}
val query_result_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> query_result
val yojson_of_query_result : query_result -> Ppx_yojson_conv_lib.Yojson.Safe.t
type overview = {
  1. uri : Lsp.Types.DocumentUri.t;
  2. preparedRange : Range.t list;
  3. processingRange : Range.t list;
  4. processedRange : Range.t list;
}
val overview_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> overview
val yojson_of_overview : overview -> Ppx_yojson_conv_lib.Yojson.Safe.t
type notification =
  1. | QueryResultNotification of query_result
OCaml

Innovation. Community. Security.