Module Types.WorkspaceDiagnosticParams

type t = {
  1. identifier : string option;
  2. partialResultToken : ProgressToken.t option;
  3. previousResultIds : PreviousResultId.t list;
  4. workDoneToken : ProgressToken.t option;
}
val create : ?identifier:string -> ?partialResultToken:ProgressToken.t -> previousResultIds:PreviousResultId.t list -> ?workDoneToken:ProgressToken.t -> 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