id:int ->
htyp:Types.term_type ->
object
  val mutable id : int
  val mutable t : Types.term_type
  method get_id : int
  method get_type : Types.term_type
  method set_id : int -> unit
  method set_type : Types.term_type -> unit
end