Пример #1
0
 /** Pretty-printing */
 public void pretty(PrettyPrinter pp) {
   pp.binOp(a1, "-", a2);
 }