1 %{
2 #include "expr/kind.h"
3 %}
4 
5 %ignore CVC4::kind::operator<<(std::ostream&, CVC4::Kind);
6 %ignore CVC4::operator<<(std::ostream&, TypeConstant);
7 %ignore CVC4::theory::operator<<(std::ostream&, TheoryId);
8 
9 %ignore CVC4::theory::operator++(TheoryId&);
10 
11 %rename(apply) CVC4::kind::KindHashFunction::operator()(::CVC4::Kind) const;
12 %rename(apply) CVC4::TypeConstantHashFunction::operator()(TypeConstant) const;
13 
14 %rename(Kind) CVC4::kind::Kind_t;
15 
16 %include "expr/kind.h"
17