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