9 #ifndef CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H 10 #define CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H 31 static inline std::ostream &
32 operator<<(std::ostream &out, const smt2_format_containert<T> &c)
40 #endif // CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H The type of an expression, extends irept.
Base class for all expressions.