Vocabulary
sequences

Inputs
srca sequence
ian index in dst
dsta mutable sequence


Outputs
None

Word description
Copies all elements of src to dst, with destination indices starting from i. Grows dst first if necessary.

Side effects
Modifies dst

Errors
An error is thrown if dst is not resizable, and not large enough to hold the copied elements.

Definition