include "cvc4kinds.pxi"
include "cvc4.pxi"