Array.car()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.car()

Get the first element of the array.

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

1

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

32