Up
–
coq-lsp
»
Coq
» Message
Module
Coq.Message
type
'l t
=
'l
option
*
Lang.Diagnostic.Severity.t
*
Pp
.t
Messages from Coq