1 2 3 4 5 6 7 8 9
#include "theory/booleans/theory_bool.h" namespace CVC4 { namespace theory { namespace booleans { typedef TheoryBool TheoryBOOLEANS; } } }