12 #ifndef CPROVER_ANSI_C_TYPE2NAME_H 13 #define CPROVER_ANSI_C_TYPE2NAME_H 24 #endif // CPROVER_ANSI_C_TYPE2NAME_H The type of an expression, extends irept.
std::string type2name(const typet &type)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Defines typet, type_with_subtypet and type_with_subtypest.