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.