- unsigned return_type_tinfo() const;
- ex thisexpairseq(const epvector & v, const ex & oc) const;
- ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc) const;
+ return_type_t return_type_tinfo() const;
+ ex thisexpairseq(const epvector & v, const ex & oc, bool do_index_renaming = false) const;
+ ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc, bool do_index_renaming = false) const;