Module Hindley


module Hindley: sig .. end
Inférence de type, types simples.

val infer : T.Type.t Env.t -> S.Ast.t -> T.Type.t
L'appel infer env t renvoie le type du terme t dans l'environnement de typage env. La fonction infer peut être donnée en argument à la boucle interactive S.Top.loop.

Note : L'argument t (le terme) est sans type explicite, i.e., de type S.Ast.t.