Module Poly


module Poly: sig .. end
Inférence de type polymorphe

val infer : S.Ast.t -> T.Type.t
Inférer le type d'un terme sans variables libres.
val infer_scheme : Eq.scheme Env.t -> S.Ast.t -> Eq.scheme
Utilisable comme argument de la boucle interactive S.Top.loop. L'appel infer_scheme env t type le terme t dans env, ce qui donne le type ty.

Le type ty est ensuite généralisé complètement.