{motive : Lean.Lsp.DidChangeWatchedFilesRegistrationOptions → Sort u} →
  (t : Lean.Lsp.DidChangeWatchedFilesRegistrationOptions) →
    ((watchers : Array Lean.Lsp.FileSystemWatcher) → motive { watchers := watchers }) → motive t