12 #ifndef CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 13 #define CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H 84 #endif // CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H
The type of an expression.
c_qualifierst c_qualifiers
source_locationt source_location
unsigned gcc_float128_cnt
c_storage_spect c_storage_spec
void read(const typet &type)
Base class for all expressions.
void read_rec(const typet &type)
ansi_c_convert_typet(message_handlert &_message_handler)