Module Types.DiagnosticRegistrationOptions

type t = {
  1. documentSelector : DocumentSelector.t option;
  2. id : string option;
  3. identifier : string option;
  4. interFileDependencies : bool;
  5. workDoneProgress : bool option;
  6. workspaceDiagnostics : bool;
}
val create : ?documentSelector:DocumentSelector.t -> ?id:string -> ?identifier:string -> interFileDependencies:bool -> ?workDoneProgress:bool -> workspaceDiagnostics:bool -> unit -> t
include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
val t_of_yojson : Yojson.Safe.t -> t
val yojson_of_t : t -> Yojson.Safe.t