Difference between revisions of "Array.tail()"

From ZCubes Wiki
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)

Revision as of 14:32, 4 March 2017


Array.tail()

Get the tail of the array, without the first element.

Same as Array.cdr()

Retrieved from "http://wiki.zcubes.com/index.php?title=Array.tail()&oldid=206692"