∀ {α : Type u} {β : α → Type v} {l : Std.DHashMap.Raw α β} {acc : List α},
  Std.DHashMap.Raw.fold (fun acc k x => k :: acc) acc l =
    Std.Internal.List.keys (Std.DHashMap.Internal.toListModel l.buckets).reverse ++ acc