package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lang.DiagnosticSource

Sourcemodule QualId : sig ... end
Sourcemodule FailedRequire : sig ... end
Sourcemodule Data : sig ... end
Sourcemodule Severity : sig ... end
Sourcetype 'a t = {
  1. range : Range.t;
  2. severity : Severity.t;
  3. message : 'a;
  4. data : Data.t option;
}
Sourceval is_error : 'a t -> bool