∀ {α : Type u} {β : Type v} {m : Std.DHashMap.Raw α fun x => β},
  Std.DHashMap.Raw.Const.toArray m =
    (List.map
        (fun x =>
          match x with
          | ⟨k, v⟩ => (k, v))
        (Std.DHashMap.Internal.toListModel m.buckets)).toArray