定義だけから解く文脈。値を解く手立てと、祖先に就く土地を1つに持つ——同じ土地から出る2つの 答え(祖先が入れる値と、祖先の型で決まる条件の真偽)なので、別々に渡すと片方だけずれる。
読み取り専用
祖先(8.6節)に就く土地の候補。空なら定まらない——その起点を見る条件は素通しになる (conditionsNeverMet)。
ReferenceRootが指すプロパティの値を、定義だけから解く手立て。
定義だけから解く文脈。値を解く手立てと、祖先に就く土地を1つに持つ——同じ土地から出る2つの 答え(祖先が入れる値と、祖先の型で決まる条件の真偽)なので、別々に渡すと片方だけずれる。