object
val value_map : (int, Types.if_value_type) Hashtbl.t
method get_tab : (int, Types.if_value_type) Hashtbl.t
method get_value : int -> Types.if_value_type
method is_defined : int -> bool
method set_value : int -> Types.if_value_type -> unit
end