Skips the delimiter which str starts with.
The return value is at most str.length.
It is assured that str starts with a delimiter so a subclass may return
an undefined result otherwise. Additionally, a subclass is encouraged to
use an 'in' contract to ensure str starts with a delimiter and/or is
long enought to skip a leading delimiter.
Skips the delimiter which str starts with. The return value is at most str.length. It is assured that str starts with a delimiter so a subclass may return an undefined result otherwise. Additionally, a subclass is encouraged to use an 'in' contract to ensure str starts with a delimiter and/or is long enought to skip a leading delimiter.