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, extends irept.
typet & type()
Return the type of the expression.
std::string cpp_type2name(const typet &type)
std::string cpp_expr2name(const exprt &expr)
Base class for all expressions.
Defines typet, type_with_subtypet and type_with_subtypest.