/src/theory/arith/
../
Makefile.am
kinds