12 #ifndef CPROVER_CPP_CPP_CONVERT_TYPE_H 13 #define CPROVER_CPP_CPP_CONVERT_TYPE_H 21 #endif // CPROVER_CPP_CPP_CONVERT_TYPE_H The type of an expression, extends irept.
void cpp_convert_auto(typet &dest, const typet &src)
void cpp_convert_plain_type(typet &)
Defines typet, type_with_subtypet and type_with_subtypest.