式let $\,\langle$ declList $\rangle\,$ in $\,\langle$ exp ${}_{1}$ $\rangle\,$ ; $\cdots$ ; $\,\langle$ exp ${}_{n}$ $\rangle\,$ endによって，式 $\,\langle$ exp ${}_{1}$ $\rangle\,$ ; $\cdots$ ; $\,\langle$ exp ${}_{n}$ $\rangle\,$ だけで有効な種々の宣言を行うことができる．この式は以下のように評価される．

1.

$\,\langle$ declList $\rangle\,$ が順に評価され，その結果の変数束縛の環境が現在の環境に追加される．
2.

追加された環境の下で式 $\,\langle$ exp ${}_{1}$ $\rangle\,$ ; $\cdots$ ; $\,\langle$ exp ${}_{n}$ $\rangle\,$ が，この順に評価される．
3.

最後に評価された式の型と値が，この式全体の型と値となる．

19.9 局所宣言式 let ⟨declList⟩ in ⟨exp1⟩;⋯;⟨expn⟩ end

19.9 局所宣言式 let $\,\langle$ declList $\rangle\,$ in $\,\langle$ exp ${}_{1}$ $\rangle\,$ ; $\cdots$ ; $\,\langle$ exp ${}_{n}$ $\rangle\,$ end