This is documentation for the next version of Alloy. For the latest stable release, go to the latest version.
concat
The concat
function concatenates one or more lists of values into a single list.
Each argument to concat
must be a list value.
Elements within the list can be any type.
Examples
> concat([])
[]
> concat([1, 2], [3, 4])
[1, 2, 3, 4]
> concat([1, 2], [], [bool, null])
[1, 2, bool, null]
> concat([[1, 2], [3, 4]], [[5, 6]])
[[1, 2], [3, 4], [5, 6]]