object
  val tab : (int, Types.term_type) Hashtbl.t
  method get_tab : (int, Types.term_type) Hashtbl.t
  method get_type : int -> Types.term_type
  method register_type : int -> Types.term_type -> Types.term_type
end