{α : Type u} →
  {β : Type v} →
    {σ : Type w} →
      {motive : Lean.PersistentHashMap.Entry α β σ → Sort u_1} →
        ((key : α) → (val : β) → motive (Lean.PersistentHashMap.Entry.entry key val)) →
          ((node : σ) → motive (Lean.PersistentHashMap.Entry.ref node)) →
            motive Lean.PersistentHashMap.Entry.null → (t : Lean.PersistentHashMap.Entry α β σ) → motive t