void doKids(StringBuilder ans, Pretty pretty, String indent) {
if (kids == null) return;
for (Rope kid : kids) {
if (!pretty.pretty) {
kid.toString(ans, pretty, "");
} else {
kid.toString(ans, pretty, indent + getKidIndentIncrement(kid, pretty));
Utilities.assureEndsWithNewLine(ans);
}
}
}
