(motive : Lean.Lsp.CallHierarchyItem → Sort u_1) →
  (x : Lean.Lsp.CallHierarchyItem) →
    ((a : String) →
        (a_1 : Lean.Lsp.SymbolKind) →
          (a_2 : Option (Array Lean.Lsp.SymbolTag)) →
            (a_3 : Option String) →
              (a_4 : Lean.Lsp.DocumentUri) →
                (a_5 a_6 : Lean.Lsp.Range) →
                  (a_7 : Option Lean.Json) →
                    motive
                      { name := a, kind := a_1, tags? := a_2, detail? := a_3, uri := a_4, range := a_5,
                        selectionRange := a_6, data? := a_7 }) →
      motive x