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