{α : Type u_1} →
  {β : Type u_2} →
    (es : Array (Lean.PersistentHashMap.Entry α β (Lean.PersistentHashMap.Node α β))) →
      (motive : Lean.PersistentHashMap.IsCollisionNode (Lean.PersistentHashMap.Node.entries es) → Sort u_3) →
        (h : Lean.PersistentHashMap.IsCollisionNode (Lean.PersistentHashMap.Node.entries es)) → motive h