28 sub.push_back(static_cast<const typet &>(
get_nil_irep()));
29 sub.back().swap(type);
const irept & get_nil_irep()
The type of an expression, extends irept.
void move_to_subtypes(typet &type)
Move the provided type to the subtypes of this type.
void copy_to_subtypes(const typet &type)
Copy the provided type to the subtypes of this type.
std::vector< typet > subtypest
Defines typet, type_with_subtypet and type_with_subtypest.