∀ {α : Type u} {β : Type v} {l : Std.DHashMap.Raw α fun x => β} {acc : List (α × β)},
  Std.DHashMap.Raw.Internal.foldRev (fun acc k v => (k, v) :: acc) acc l =
    List.map
        (fun x =>
          match x with
          | ⟨k, v⟩ => (k, v))
        (Std.DHashMap.Internal.toListModel l.buckets) ++
      acc