25 if(type1.
id()==ID_symbol)
34 if(type2.
id()==ID_symbol)
bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
The type of an expression.
irep_idt name
The unique identifier.
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
const std::string & id2string(const irep_idt &d)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const irep_idt & id() const
typet type
Type of symbol.