*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
public:
void print(const print_context & c, unsigned level = 0) const;
unsigned precedence(void) const {return 20;}
bool info(unsigned inf) const;
unsigned nops() const;
ex & let_op(int i);
public:
void print(const print_context & c, unsigned level = 0) const;
unsigned precedence(void) const {return 20;}
bool info(unsigned inf) const;
unsigned nops() const;
ex & let_op(int i);