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