let lookup_var_type ~env (id : identifier) = try lookup_var_type_from_local env.local_binding id with Not_found -> lookup_var_type_from_global ~env id