Difference between revisions of "Array.head()"

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)

Latest revision as of 09:11, 22 April 2020


Array.car()

Get the first element of the array.

Same as Array.car()

A=1..100; A.head()

1

A=32..789; A.car()

32

See Also

cdr

tail