式として現れたlong識別子$⟨$longVid$\mathrm{⟩}$の型と値は，現在の環境 の中で，その$⟨$longVid$\mathrm{⟩}$が束縛された型と値である．

$⟨$longVid$\mathrm{⟩}$は，変数識別子$⟨$vid$\mathrm{⟩}$にストラクチャ識別子 $⟨$strId$\mathrm{⟩}$の並びがプレフィックスされた $⟨$strId${}_{\mathrm{1}}$$\mathrm{⟩}$. $\mathrm{\cdots }$.$⟨$strId${}_n$$\mathrm{⟩}$. $⟨$vid$\mathrm{⟩}$の形の式である． 各$⟨$strId${}_i$$\mathrm{⟩}$は，第21章で定義す る静的スコープ規則によって，ネストしたストラクチャ宣言に対応する． ストラクチャ宣言は，第16章で定義されるよ うに，現在の環境にロング識別子の束縛の集合追加する効果を持つ． さらに，$⟨$strId${}_{i\mathrm{-}\mathrm{1}}$$\mathrm{⟩}$が生成するロング識別子の束縛の集 合は，$⟨$strId${}_i$$\mathrm{⟩}$が生成するロング識別子の束縛の集合にストラクチャ 名$⟨$strId$\mathrm{⟩}$を付加して得られるロング識別子の束縛の集合を含む．

従って，$⟨$longVid$\mathrm{⟩}$の型と値は，$⟨$strId${}_n$$\mathrm{⟩}$に対応するストラ クチャの中で$⟨$vid$\mathrm{⟩}$に束縛された型と値と同じである． $n$がゼロの場合は，トップレベルで$⟨$vid$\mathrm{⟩}$に束縛された型と値である． 簡単な例を以下に示す．

# structure A = struct val x = 99 end;
structure A =
  struct
    val x = 99 : int
  end
# structure B = struct structure C = A end;
structure B =
  struct
    structure C =
      struct
        val x = 99 : int
      end
  end
# B.C.x;
val it = 99 : int