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