12 #ifndef CPROVER_UTIL_BASE_TYPE_H 13 #define CPROVER_UTIL_BASE_TYPE_H 64 #endif // CPROVER_UTIL_BASE_TYPE_H The type of an expression.
bool base_type_eq(const typet &type1, const typet &type2, const namespacet &ns)
virtual bool base_type_eq_rec(const typet &type1, const typet &type2)
base_type_eqt(const namespacet &_ns)
Base class for all expressions.
bool base_type_eq(const exprt &expr1, const exprt &expr2)
bool base_type_eq(const typet &type1, const typet &type2)
union_find< irep_idt > identifierst