package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
val message : io:CallBack.t -> lvl:int -> 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