Module Hindley

module Hindley: sig .. end

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.