20 sub.push_back(static_cast<const typet &>(
get_nil_irep()));
21 sub.back().swap(type);
27 return id==ID_rational ||
const irept & get_nil_irep()
The type of an expression.
void move_to_subtypes(typet &type)
const irep_idt & id() const
void copy_to_subtypes(const typet &type)
std::vector< typet > subtypest
bool is_number(const typet &type)