public void output(Output out) { out.write("("); val.output(out); out.write("."); for (char c : el) out.write(c); out.write(")"); }
public LPick process(Context ctx) { return (new LPick(val.process(ctx), el)); }