v
- Create a vector
... : | Integer (pass by const reference) |
First value. | |
... : | Integer (pass by const reference) |
More values ... |
# create a vector, Natural[]
x <- v(1,2,3)
x <- x + 1
x
y <- v(2,4,6)
# create a vector of Natural[][]
z <- v(x,y)
z
z[0]