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