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

Module `Io.Report`Source

val diagnostics : 
  ofmt:Format.formatter ->
  uri:string ->
  version:int ->
  Types.Diagnostic.t list ->
  unit

val fileProgress : 
  ofmt:Format.formatter ->
  uri:string ->
  version:int ->
  (Types.Range.t * int) list ->
  unit