9 #ifndef CPROVER_UTIL_FORMAT_EXPR_H
10 #define CPROVER_UTIL_FORMAT_EXPR_H
28 std::function<std::ostream &(std::ostream &,
const exprt &)>);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.