30 if(declaration_type.
id()==
"cpp-cast-operator")
44 else if(t.
id()==ID_merged_type)
The type of an expression.
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
typet merge_type(const typet &declaration_type) const
C++ Language Type Checking.
const irep_idt & id() const
irept & method_qualifier()
void output(std::ostream &out) const
const typet & subtype() const