∀ {α : Type u} {β : Type v} [inst : BEq α] {l : Std.DHashMap.Internal.AssocList α fun x => β} {a : α} {fallback : β},
  Std.DHashMap.Internal.AssocList.getD a fallback l = Std.Internal.List.getValueD a l.toList fallback