module Poly:Inférence de type polymorphesig
..end
val infer : S.Ast.t -> T.Type.t
val infer_scheme : Eq.scheme Env.t -> S.Ast.t -> Eq.scheme
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.