vscoq-language-server.lsp
Protocol.LspWrapper
vscoq-language-server.dm
vscoq-language-server.language
module Position : sig ... end
module Range : sig ... end
module DiagnosticSeverity : 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 notification =
| QueryResultNotification of query_result