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