let get_any_type_of i =
let si = string_id#get_name i
and k = ref (-1)
and tk = ref (Base(Nat)) in
Hashtbl.iter
(fun j sj ->
try
if (i <> j) && (si = sj) then
(tk := type_table#get_type j;
k := j)
with Not_found -> ())
string_id#get_tab;
if !k <> -1 then
!tk
else
raise Not_found