{motive : Lean.Lsp.LeanFileProgressParams → Sort u} →
  (t : Lean.Lsp.LeanFileProgressParams) →
    ((textDocument : Lean.Lsp.VersionedTextDocumentIdentifier) →
        (processing : Array Lean.Lsp.LeanFileProgressProcessingInfo) →
          motive { textDocument := textDocument, processing := processing }) →
      motive t