Up
–
coq-lsp
»
Fleche
»
Doc
»
Node
» Message
Module
Node.Message
type
t
=
Lang.Range.t
option
*
Lang.Diagnostic.Severity.t
*
Pp
.t