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