{motive : Lean.PersistentHashMap.Stats → Sort u} →
  ((numNodes numNull numCollisions maxDepth : ℕ) →
      motive { numNodes := numNodes, numNull := numNull, numCollisions := numCollisions, maxDepth := maxDepth }) →
    (t : Lean.PersistentHashMap.Stats) → motive t