Types sommes: types énumérés

L'utilisateur peut définir ses propres types de données. Par exemple, les types énumérés couleur et sens   définissent un ensemble de constantes qui désignent des objets symboliques.

 
type couleur = Bleu | Blanc | Rouge
and sens = Gauche | Haut | Droite | Bas;;

let c = Bleu
and s = Droite in
...
end;

couleur est l'énumération des trois valeurs Bleu, Blanc, Rouge. On aura remarqué que le symbole | signifie ``ou''. Le type bool est aussi un type énuméré prédéfini tel que:

type bool = false | true;;

Par exception à la règle et pour la commodité du programmeur, les constructeurs du type bool ne commencent pas par une majuscule.