object
val from_id : (int, int * int) Hashtbl.t
val to_id : (int * int, int) Hashtbl.t
val mutable var_number : int
method get_id_of : int -> int -> int
method get_name_of : int -> int
method get_role_instance_of : int -> int
method get_tab : (int, int * int) Hashtbl.t
method get_variable : int -> int * int
method unsafe_get_id_of : int -> int -> int
end