3.5 Erreurs de typage
Les exceptions suivantes sont levées quand une erreur de type est détectée :
# type typing_error =
Unbound_var of string
| Clash of ml_type * ml_type ;;
# exception Type_error of typing_error;;
Elles correspondent soit à une variable d'une expression qui n'a pas été déclarée, soit
à une erreur proprement dite de typage.