public override void Dump(IndentWriter output) { output.Write("("); From.Dump(output); output.Write(" .. "); To.Dump(output); output.Write(")"); }