1 2 3 4 5 6 7
# kinds -*- sh -*- # # For documentation on this file format, please refer to # src/expr/builtin_kinds. # theory ::CVC4::theory::bv::TheoryBV "theory_bv.h"