let rec lookup_var_type_from_global ~env id = let bind = List.assoc id env.global_binding in (id, bind.gbind_type)