#open "graphe";;
#open "aintv";;

exception Erreur_typage;;

type tp_simple =
    Entier
  | Bool
  | Var of int;;

type tp_fonction == (tp_simple list)*tp_simple;;

type tp_prog == ((string*tp_fonction) list*tp_simple);;

value tri_typage :
  prog -> string list list;;

value type_programme :
  prog -> string list list -> tp_prog;;