∀ {α : Type u} {β : α → Type v} (self : Array (Std.DHashMap.Internal.AssocList α β)),
  Std.DHashMap.Internal.withComputedSize self = { size := Std.DHashMap.Internal.computeSize self, buckets := self }