vector-append
Name
vector-append -- Concatenates a sequence of vectors
Type: function
Synopsis
vector-append( vector, result-vector);
Arguments
- vector
Instances of <vector>.
Return Values
- result-vector
An instance of <vector>.
Description
This function appends a sequence of vectors together into
one vector. The returned vector has all the elements of the
given vectors, in order. Hence, the length of the returned
vector is the sum of the lengths of the given vectors.