Module Core.PublishDiagnosticsParamsSource

Publish Diagnostics params

Sourcetype t = {
  1. uri : JLang.LUri.File.t;
  2. version : int;
  3. diagnostics : JLang.Diagnostic.t list;
}
Sourceval to_yojson : t -> Yojson.Safe.t