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

Module `JLang.Diagnostic`Source

Sourcetype t = Lang.Diagnostic.t

Sourceval to_yojson : t -> Yojson.Safe.t

Sourcemodule Point : sig ... end

Sourcemodule Range : sig ... end