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