{motive : Lean.Server.Watchdog.CallHierarchyItemData → Sort u} →
  ((module name : Lean.Name) → motive { module := module, name := name }) →
    (t : Lean.Server.Watchdog.CallHierarchyItemData) → motive t