package coq-lsp

  1. Overview
  2. Docs

Module Request.ErrorSource

Sourcetype 'a t = {
  1. code : int;
  2. payload : 'a;
  3. feedback : Lang.Range.t Coq.Message.t list;
}
Sourceval make : ?feedback:Lang.Range.t Coq.Message.t list -> int -> 'a -> 'a t