§ 14.3. 宣言とインタフェイス

SML#のプログラムの実行単位である宣言〈decl〉と， インターフェイス仕様〈interfaceSpec〉には，以下の種類がある．

〈decl〉	:=	〈valDecl〉	値束縛
	|	〈valRecDecl〉	関数定義
	|	〈funDecl〉	関数定義
	|	〈datatypeDecl〉	データ型定義
	|	〈typeDecl〉	型の別名定義
	|	〈exceptionDecl〉	例外定義
	|	〈strDecl〉	ストラクチャ定義
	|	〈functorDecl〉	ファンクタ定義

〈interfaceSepc〉	:=	〈valBindSpec〉
	|	〈datatypeBindSpec〉
	|	〈typeBindSpec〉
	|	〈exceptionBindSpec〉
	|	〈strBindSpec〉
	|	〈functorBindSpec〉