Types abréviations

  On donne un nom à une expression de type à l'aide d'une définition d'abréviation. C'est quelquefois utile pour la lisibilité du programme. Par exemple:

type compteur == int;;

définit un type compteur équivalent au type int.