O(n)dropn, applied to a Text, returns
the suffix of the Text after the first n characters,
or the empty Text if n is greater than the length of
the Text.
O(n)drop n, applied to a stream, returns the
suffix of the stream after the first n characters, or the
empty stream if n is greater than the length of the stream.
Properties
O(n)dropn, applied to a Text, returns
the suffix of the Text after the first n characters,
or the empty Text if n is greater than the length of
the Text.
O(1) Return the suffix of the Text, with nWord8 units dropped from its beginning.
If n would cause the Text to begin inside a code
point, the beginning of the suffix will be advanced by several
additional Word8 unit to maintain its validity.