Types Definis par l’Usager
datatype identificateur = expression_de_type
Examples:
n
datatype couleur = rouge | orange | vert;
n
datatype arbre =
nul | noeud of int * arbre * arbre *arbre;