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