オブジェクトのスコープ

*sにはスコープ識別子としてglobal, local, world, clauseのいずれかシンボルを与えます。識別子とそれが表すスコープの意味は以下の通りです。

global: 大域的なスコープです。同名のオブジェクトは常に同一視されます。
local: 標準的なスコープであり、オブジェクトは通常デフォルトでこのスコープを持ちます。スコープの範囲は一つの節です。
world: 節とその従属ワールド間を共有するためのスコープです。親の節では通常のスコープを持つオブジェクトとして、従属ワールドでは大域的なスコープを持つオブジェクトのように振舞うためのスコープです。
clause: 一つのワールドをスコープとします。節間で変数を共有するが、ワールド間では共有させないために用いられます。

全てのオブジェクトから作成元のワールド識別氏を取得できるわけではありません。