12#ifndef CPROVER_UTIL_BASE_TYPE_H
13#define CPROVER_UTIL_BASE_TYPE_H
bool base_type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Check types for equality across all levels of hierarchy.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The type of an expression, extends irept.
#define SINCE(year, month, day, msg)