let prerr_type_table () =
prerr_endline "% TYPE TABLE: [ident_id:ident_type]";
Hashtbl.iter
(fun i t ->
prerr_string "[";
prerr_int i;
prerr_string ":";
prerr_term_type t;
prerr_string "]")
type_table#get_tab;
prerr_newline()