Up – Package index » coq-lsp » Library coq-lsp.lang » Lang » Diagnostic » Severity

Module `Diagnostic.Severity`Source

Sourcetype t

Sourceval error : t

Sourceval warning : t

Sourceval information : t

Sourceval hint : t

Sourceval to_int : t -> int

Convert to LSP-like levels