1 2 3 4 5 6 7
%{ #include "util/bool.h" %} %rename(apply) CVC4::BoolHashFunction::operator()(bool) const; %include "util/bool.h"