ゲート（8.2節）の宣言。条件は読み下せる形で渡す——「いつまで成り立つか」を見積もるのも、 読める形へ書き出すのも、入れ子を辿らないとできない。
読み取り専用
段以外の条件。無ければundefined。
段で縛られているならその段。常時効くならundefined。
ゲート（8.2節）の宣言。条件は読み下せる形で渡す——「いつまで成り立つか」を見積もるのも、 読める形へ書き出すのも、入れ子を辿らないとできない。