10 #ifndef CPROVER_ANSI_C_EXPR2C_H 11 #define CPROVER_ANSI_C_EXPR2C_H 22 #endif // CPROVER_ANSI_C_EXPR2C_H The type of an expression.
std::string type2c(const typet &type, const namespacet &ns)
Base class for all expressions.
std::string expr2c(const exprt &expr, const namespacet &ns)