1 2 3 4 5 6 7
%{ #include "util/sexpr.h" %} %ignore CVC4::operator<<(std::ostream&, const SExpr&); %include "util/sexpr.h"