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))