Module Message.PayloadSource

Coq provides payload to our layer via two different mechanisms:

In both cases, the payload is the same, and it comes via different ways due to historical reasons. We abstract the payload as to better handle the common paths.

Sourcetype 'l t = {
  1. range : 'l option;
  2. quickFix : 'l Lang.Qf.t list option;
  3. msg : Pp.t;
}
Sourceval make : ?range:'l -> ?quickFix:'l Lang.Qf.t list -> Pp.t -> 'l t
Sourceval map : f:('l -> 'm) -> 'l t -> 'm t