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