patch

trait Collection[A] {
  def patch(j: Int, bs: Collection[A], m: Int): Collection[A]
}

patch は、インデックス j から始まる m 個の要素をコレクション bs に置き換えたこのコレクションのコピーを作成します