%{
#include "theory/theory_id.h"
%}

%include "theory/theory_id.h"