Module Check

module Check: sig .. end

val check : T.Type.t Env.t -> T.Ast.t -> T.Type.t

L'appel check env t renvoie le type du terme t dans l'environnement env

Bien noter que t est un terme de syntaxe typée (dont les liaisons portent des types).