Difference between revisions of "Array.rest()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
(No difference)
|
Latest revision as of 15:47, 4 March 2017
Array.rest(Start, Count)
Remove the part of the array from Start (as well as Count number of elements from Start), and provide the rest of the elements.
Note: Start is treated as zero indexed.
1..10.rest(3,2)
1 |
2 |
3 |
6 |
7 |
8 |
9 |
10 |