vscoq-language-server.lsp
LspWrapper.DiagnosticSeverity
vscoq-language-server.dm
vscoq-language-server.language
type t = Lsp.Types.DiagnosticSeverity.t =
| Error
| Warning
| Information
| Hint
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val yojson_of_t : Lsp.Types.DiagnosticSeverity.t -> Yojson.Safe.t
val t_of_yojson : Yojson.Safe.t -> Lsp.Types.DiagnosticSeverity.t
val of_feedback_level : Feedback.level -> Lsp.Types.DiagnosticSeverity.t