Class Types.type_table_type


class type_table_type : object .. end

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