(motive : Lean.Server.FileWorker.NamespaceEntry → Sort u_1) →
  (x : Lean.Server.FileWorker.NamespaceEntry) →
    ((name : List Lean.Name) →
        (stx selection : Lean.Syntax) →
          (prevSiblings : Array Lean.Lsp.DocumentSymbol) →
            motive { name := name, stx := stx, selection := selection, prevSiblings := prevSiblings }) →
      motive x