12 #ifndef CPROVER_JSIL_EXPR2JSIL_H 13 #define CPROVER_JSIL_EXPR2JSIL_H 24 #endif // CPROVER_JSIL_EXPR2JSIL_H The type of an expression.
std::string expr2jsil(const exprt &expr, const namespacet &ns)
std::string type2jsil(const typet &type, const namespacet &ns)
Base class for all expressions.