1 2 3 4 5 6 7 8 9
#include "theory/arith/theory_arith.h" namespace CVC4 { namespace theory { namespace arith { typedef TheoryArith TheoryARITH; } } }