12 #ifndef CPROVER_CPP_CPP_TYPE2NAME_H
13 #define CPROVER_CPP_CPP_TYPE2NAME_H
Base class for all expressions.
typet & type()
Return the type of the expression.
The type of an expression, extends irept.
std::string cpp_type2name(const typet &type)
std::string cpp_expr2name(const exprt &expr)
Defines typet, type_with_subtypet and type_with_subtypest.