Severity (coq-lsp.Lang.Diagnostic.Severity)

type t = int

val error : t

val warning : t

val information : t

val hint : t