12 #ifndef CPROVER_CPP_CPP_TYPE2NAME_H 13 #define CPROVER_CPP_CPP_TYPE2NAME_H 24 #endif // CPROVER_CPP_CPP_TYPE2NAME_H The type of an expression.
std::string cpp_type2name(const typet &type)
std::string cpp_expr2name(const exprt &expr)
Base class for all expressions.