プログラミング言語SML#解説 3.7.1版
III 参照マニュアル

Chapter 23 核言語の宣言とインターフェイス

宣言nの種類毎に,宣言declの定義と,それに対応するインター フェイス仕様interfaceSpecの定義を与え,それら宣言に対してコン パイラが計算する型と値を説明する.