Up – Package index » coq-lsp » Library coq-lsp.lsp » Lsp » JLang

Module `Lsp.JLang`Source

Sourcemodule Point : sig ... end

Sourcemodule Range : sig ... end

Sourcemodule LUri : sig ... end

Sourcemodule Diagnostic : sig ... end

val mk_diagnostics : 
  uri:Lang.LUri.File.t ->
  version:int ->
  Lang.Diagnostic.t list ->
  Yojson.Safe.t