2つの分岐の一覧を直積にする(両方が順に起こる)。同じ型のspawnは1件へ合算し、プロパティの増減は 宣言順のまま並べる。sequelがdeclaredなら、右が代入するプロパティの増減を左から落とす (OutcomeSequel参照)ので、deltasは「最後の代入より後に起きた増減」になる。
sequel
declared
deltas
2つの分岐の一覧を直積にする(両方が順に起こる)。同じ型のspawnは1件へ合算し、プロパティの増減は 宣言順のまま並べる。
sequelがdeclaredなら、右が代入するプロパティの増減を左から落とす (OutcomeSequel参照)ので、deltasは「最後の代入より後に起きた増減」になる。