The type of an expression.
void get_shorthands(const exprt &expr)
std::string expr2jsil(const exprt &expr, const namespacet &ns)
expr2jsilt(const namespacet &_ns)
virtual std::string convert(const typet &src)
std::string type2jsil(const typet &type, const namespacet &ns)
Base class for all expressions.