package coq-lsp

  1. Overview
  2. Docs

Module Types.DiagnosticSource

Sourcemodule Extra : sig ... end
Sourcetype t = {
  1. range : Range.t;
  2. severity : int;
  3. message : string;
  4. extra : Extra.t list;
}