Module Poly

module Poly: sig .. end

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.