thanks for the answer. That’s too bad; then. Do you know the reason for this?
To me, it sounds a bit inconsistent with immutability. For instance, String.copy was deprecated for this reason:
val copy : string → string
Deprecated.Because strings are immutable, it doesn’t make much sense to make identical copies of them.
Thanks also for Astring. Astring.String.Sub seems to do exactly what I wanted.