23 if(type1.
id()==ID_symbol)
32 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.
const std::string & id2string(const irep_idt &d)
const symbol_typet & to_symbol_type(const typet &type)
Cast a generic typet to a symbol_typet.
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.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().