int ->
Types.term ->
object
  val mutable set : int
  val mutable t : Types.term
  method get_set : int
  method get_term : Types.term
  method set_set : int -> unit
  method set_term : Types.term -> unit
end