Module Coq.Message

type 'l t = 'l option * Lang.Diagnostic.Severity.t * Pp.t

Messages from Coq