36 if(
const auto symbol_type1 = type_try_dynamic_cast<symbol_typet>(type1))
43 if(
const auto symbol_type2 = type_try_dynamic_cast<symbol_typet>(type2))
bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Check types for equality at the top level.
The type of an expression, extends irept.
#define CHECK_RETURN(CONDITION)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
typet type
Type of symbol.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().