19.4.9 Array Concatenation

The operator + can be used to build new arrays resulting from the concatenation of the elements of two arrays given as operands:

(poke) [1,2] + [3,4,5]
[1,2,3,4,5]

The two arrays given as operands shall have the same elements of the same type. The resulting array is always unbounded.