DiagnosticRegistrationOptions (linol-lwt.Linol_lwt.DiagnosticRegistrationOptions)

type t = {

documentSelector : [ `TextDocumentFilter of Linol_lsp__Types.TextDocumentFilter.t | `NotebookCellTextDocumentFilter of Linol_lsp__Types.NotebookCellTextDocumentFilter.t ] list option;
id : string option;
identifier : string option;
interFileDependencies : bool;
workDoneProgress : bool option;
workspaceDiagnostics : bool;

}

val create : 
  ?documentSelector:
    [ `TextDocumentFilter of Linol_lsp__Types.TextDocumentFilter.t
    | `NotebookCellTextDocumentFilter of
      Linol_lsp__Types.NotebookCellTextDocumentFilter.t ]
      list ->
  ?id:string ->
  ?identifier:string ->
  interFileDependencies:bool ->
  ?workDoneProgress:bool ->
  workspaceDiagnostics:bool ->
  unit ->
  t

include Linol_lsp.Import.Json.Jsonable.S with type t := t

val t_of_yojson : Yojson.Safe.t -> t

val yojson_of_t : t -> Yojson.Safe.t