/src/theory/arrays/
../
Makefile
Makefile.am
kinds
theory_arrays.h
theory_def.h