// functions overriding virtual functions from bases classes
public:
- void print(std::ostream & os, unsigned upper_precedence=0) const;
- void printraw(std::ostream & os) const;
+ void print(const print_context & c, unsigned level = 0) const;
unsigned nops() const;
ex op(int i) const;
ex & let_op(int i);