SML#プロジェクト

プログラミング言語SML#解説 4.1.0版

III 参照マニュアル 22.11 標準SQL文法との差異（参考）23.1 val宣言 :

\,\langle

\rangle\,

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

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

23.1 val宣言 : $\,\langle$ valDecl $\rangle\,$

23.2 関数宣言 : $\,\langle$ valRecDecl $\rangle\,$ , $\,\langle$ funDecl $\rangle\,$

23.3 datatype宣言 : $\,\langle$ datatypeDecl $\rangle\,$

23.4 type宣言 : $\,\langle$ typDecl $\rangle\,$

23.5 例外宣言 : $\,\langle$ exnDecl $\rangle\,$