Array literals are written in curly plus square brackets. Examples:
{[]} (an empty array)
integerArray {[1, 2, 3]} (array of integers, uses integerArray Integers)
stringArray {["a", "b"]} (array of strings, uses stringArray Character strings)
The generic sort of a one-dimensional array containing elements of sort 𝕊 is Array1D(𝕊), with s:𝕊, Array1D(s) ⊆ Array. The sort of an array of known length is Array(𝕊, ℕ.nz), with s:𝕊, i1:ℕ.nz, Array(s, i1) ⊆ Array1D(s).
An empty one-dimensional array has sort EmptyArray1D, with EmptyArray1D ⊆ Array. An empty array cannot have a regular array sort, because regular array sorts depend on the type of the array elements. An empty array has no elements. For consistency with higher-dimensional arrays, there is also the sort EmptyArray(zero), with i1:zero, EmptyArray(i1) ⊆ EmptyArray1D. Its argument is always zero, but higher-dimensional arrays can have non-zero lengths along all but one dimensions.