∀ {α : Type u_1} {β : Type u_2} (z : Lean.PersistentHashMap.Zipper α β)
  (es : Array (Lean.PersistentHashMap.Entry α β (Lean.PersistentHashMap.Node α β))),
  Lean.PersistentHashMap.Zipper.prependNode (Lean.PersistentHashMap.Node.entries es) z =
    Lean.PersistentHashMap.Zipper.consEntries es.toSubarray z