Coq.Message
Messages from Coq
module Payload : sig ... end
Coq provides payload to our layer via two different mechanisms:
type 'l t = Lang.Diagnostic.Severity.t * 'l Payload.t
val map : f:('l -> 'm) -> 'l t -> 'm t