16 if(type.
id()!=ID_struct)
The type of an expression.
const std::string & id2string(const irep_idt &d)
bool java_is_array_type(const typet &type)
const irep_idt & id() const
bool has_prefix(const std::string &s, const std::string &prefix)
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.