package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val message : io:CallBack.t -> lvl:Level.t -> message:string -> unit

User-visible message

val diagnostics : io:CallBack.t -> uri:Lang.LUri.File.t -> version:int -> Lang.Diagnostic.t list -> unit
val fileProgress : io:CallBack.t -> uri:Lang.LUri.File.t -> version:int -> Progress.Info.t list -> unit
val perfData : io:CallBack.t -> uri:Lang.LUri.File.t -> version:int -> Perf.t -> unit
val serverVersion : io:CallBack.t -> ServerInfo.Version.t -> unit
val serverStatus : io:CallBack.t -> ServerInfo.Status.t -> unit
OCaml

Innovation. Community. Security.