vscoq-language-server.lsp
LspWrapper.CoqFeedback
vscoq-language-server.dm
vscoq-language-server.language
type t = {
range : Range.t;
message : string;
channel : FeedbackChannel.t;
}
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t