368369370371372373374375376377378
if (rightRational) { incrementIndent(); } print('('); right.accept(this); print(')'); if (rightRational) { decrementIndent(); }
375376377378379380381382383384385
if (rightRational) { decrementIndent(); } } else { right.accept(this); } } else { x.getRight().accept(this); } }
369370371372373374375376377378379
376377378379380381382383384385386
327328329330331332333334335336337
334335336337338339340341342343344
340341342343344345346347348349350
347348349350351352353354355356357
333334335336337338339340341342343