object
val id_to_string : (int, string) Hashtbl.t
val mutable ident_number : int
val string_to_id : (string * int, int) Hashtbl.t
method get_id : string -> int
method get_name : int -> string
method get_role_id : int -> int
method get_tab : (int, string) Hashtbl.t
method get_tab_string_to_id : (string * int, int) Hashtbl.t
method register_blind_const : string -> int -> int
method register_blind_var : string -> int -> int
method register_name : string -> int -> int
end