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