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