/src/theory/bool/
../
Makefile.am
kinds