Report (p.coq-lsp.0.1.9+8.17.doc.coq-lsp.fleche.Fleche.Io.Report)

Sourceval 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

Sourceval serverVersion : io:CallBack.t -> ServerInfo.Version.t -> unit

Sourceval serverStatus : io:CallBack.t -> ServerInfo.Status.t -> unit