let global_id_to_type_string (gid : int) :string =
  atoms_type_to_string true
    (Globals.type_table#get_type
       (Globals.global_var_id#get_name_of gid))