型エイリアス SetValueReading

set（9.2節）が代入する値の宣言。リテラルの数値か、個体を1つ指す参照——後者はその個体の インスタンスIDが書かれるが、どの個体かは実行時にしか決まらないので、読み手が受け取れるのは 指し方だけ（SetEffect参照）。