1 2 3 4 5 6 7 8 9 10
%{ #include "util/output.h" %} %import "util/output.h" %feature("valuewrapper") CVC4::null_streambuf; %feature("valuewrapper") std::ostream; %include "util/output.h"