{motive : Lean.Lsp.DocumentColorParams → Sort u} →
  ((toWorkDoneProgressParams : Lean.Lsp.WorkDoneProgressParams) →
      (toPartialResultParams : Lean.Lsp.PartialResultParams) →
        (textDocument : Lean.Lsp.TextDocumentIdentifier) →
          motive
            { toWorkDoneProgressParams := toWorkDoneProgressParams, toPartialResultParams := toPartialResultParams,
              textDocument := textDocument }) →
    (t : Lean.Lsp.DocumentColorParams) → motive t