Array.primitives()
Revision as of 10:26, 5 February 2020 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.primitives()
- Returns the primitive values of objects in the array.
typeof [new String("TEST"),new Boolean(true)].primitives()[0]
string
(not String Object)