/** Pretty-printing */
public void pretty(PrettyPrinter pp) {
pp.print("STORE " + x);
}
/** Unparsing */
public String toString() {
return PrettyPrinter.render(this);
}
/** Pretty-printing */
public void pretty(PrettyPrinter pp) {
pp.binOp(a1, "-", a2);
}