Skips terms to the first beyond the current whose value is
greater or equal to target. Returns true iff there is such
an entry.
Behaves as if written:
public boolean skipTo(Term target) {
do {
if (!next())
return false;
} while (target > term());
return true;
}
Some implementations are considerably more efficient than that.
do {
if (!next())
return false;
} while (target.compareTo(term()) > 0);
return true;