引数をとらないコンストラクタのみでヴァリアントを作れば，いわゆる列挙型になる。 # type color = Black | Blue | Red | Magenta | Green | Cyan | Yellow | White ;; type color = Black | Blue | Red | Magenta | Green | Cyan | Yellow | White

type宣言において，コンストラクタの引数に今宣言しようとしているヴァリアントを使うことができる。つまり再帰的な宣言。 以下は0を含む自然数（というか正の整数）を表す型 nat を宣言する例。 ゼロは自然数である 自然数より1大きい数は自然数である これ…