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