∀ {α : Type u} [inst : BEq α] [inst_1 : Hashable α] {β : Type v},
  ↑(Std.DHashMap.Internal.Raw₀.Const.insertMany Std.DHashMap.Internal.Raw₀.emptyWithCapacity []) =
    Std.DHashMap.Internal.Raw₀.emptyWithCapacity