3.10 Fonction principale
La fonction type_check type l'expression e par la fonction type_expr
avec l'environnement de typage initial et affiche le type calculé de e.
let type_check e =
*
let t = typing_handler type_expr initial_typing_env e
*
in
*
let qt = snd(hd(generalize_types initial_typing_env [ ``it'',t ]))
*
in
*
print_string ``it : '' print_quantified_type qt print_newline()
*
;;
*
type_check : ml_expr ® unit = áfunñ