∀ {α : Type u} {β : Type v} [inst : BEq α] [inst_1 : Hashable α] [inst_2 : Inhabited β]
  {m : Std.DHashMap.Raw α fun x => β} (h : m.WF) {a : α},
  Std.DHashMap.Raw.Const.get! m a = Std.DHashMap.Internal.Raw₀.Const.get! ⟨m, ⋯⟩ a