12 #ifndef CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H 13 #define CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H 25 const std::list<exprt> &_operands);
27 void print(std::ostream &out);
59 #endif // CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H The type of an expression.
Base class for all expressions.