Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Io » Report

Module `Io.Report`Source

val diagnostics : 
  ofmt:Format.formatter ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Lang.Diagnostic.t list ->
  unit

val fileProgress : 
  ofmt:Format.formatter ->
  uri:Lang.LUri.File.t ->
  version:int ->
  Progress.Info.t list ->
  unit