Rev Language Reference


v - Create a vector

'v' creates a vector of the elements '...'

Usage

v(Integer ..., Integer ...)

Arguments

... : Integer (pass by const reference)
First value.
... : Integer (pass by const reference)
More values ...

Return Type

Details

'v' creates a vector of the elements '...', which are objects of a common base type. Vector elements may themselves be vectors.

Example

# 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]

See Also