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