package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module FailedRequire : sig ... end
module Data : sig ... end
module Severity : sig ... end
type t = {
  1. range : Range.t;
  2. severity : Severity.t;
  3. message : Pp.t;
  4. data : Data.t option;
}
val is_error : t -> bool
OCaml

Innovation. Community. Security.