patch
trait Collection[A] { def patch(j: Int, bs: Collection[A], m: Int): Collection[A] }
patch は、インデックス j から始まる m 個の要素をコレクション bs に置き換えたこのコレクションのコピーを作成します
j
m
bs