Module T.Type


module Type: sig .. end
Types des types


type t =
| Nat (*Type des entiers naturels Nat*)
| Arrow of t * t (*Type des fonctions A -> B*)
| Tvar of int (*Variable de type (TD 6)*)
val print : Pervasives.out_channel -> t -> unit
Afficher un type dans un canal de sortie.
val to_string : t -> string
Représenter un type dans une chaîne