JLang (p.coq-lsp.0.1.9+8.17.doc.coq-lsp.lsp.Lsp.JLang)

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 ->
  Base.Notification.t