vscoq-language-server.lsp
Protocol.LspWrapper
vscoq-language-server.dm
vscoq-language-server.language
module Position : sig ... end
module Range : sig ... end
module QuickFixData : sig ... end
module DiagnosticSeverity : sig ... end
module FeedbackChannel : sig ... end
module CoqFeedback : sig ... end
type query_result = {
id : string;
name : Printing.pp;
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 = {
uri : Lsp.Types.DocumentUri.t;
preparedRange : Range.t list;
processingRange : Range.t list;
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 =
| QueryResultNotification of query_result