### theory → options Relation

File in src/theory | Includes file in src/options
--- | ---
arith / options.h | options.h
arrays / options.h | options.h
booleans / options.h | options.h
builtin / options.h | options.h
bv / options.h | options.h
datatypes / options.h | options.h
idl / options.h | options.h
quantifiers / options.h | options.h
sets / options.h | options.h
strings / options.h | options.h
options.h | options.h
uf / options.h | options.h