Vocabulary
sequences

Inputs
seqa sequence


Outputs
newseqa sequence


Word description
Concatenates a sequence of sequences together into one sequence. If seq is empty, outputs { }, otherwise the resulting sequence is of the same class as the first element of seq.

Errors
Throws an error if one of the sequences in seq contains elements not permitted in sequences of the same class as the first element of seq.

See also
join, join-as, concat-as

Definition