12#ifndef CPROVER_JSIL_EXPR2JSIL_H
13#define CPROVER_JSIL_EXPR2JSIL_H
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The type of an expression, extends irept.
std::string type2jsil(const typet &type, const namespacet &ns)
std::string expr2jsil(const exprt &expr, const namespacet &ns)