intvec name = intvec_expression ; intvec name = list_of_int_and_intvec_expressions ;
intvec
=
;
defines an intvec variable. An intvec consists of an ordered list of integers.
0
intvec iv=1,3,5,7,8; iv; → 1,3,5,7,8 iv[4]; → 7 iv[3..size (iv)]; → 5 7 8