Array.prefix()

From ZCubes Wiki
Revision as of 15:17, 4 March 2017 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Array.prefix(Prefix)

Returns an array with the Prefix applied to each element.

1..10.prefix("pre")

pre1
pre2
pre3
pre4
pre5
pre6
pre7
pre8
pre9
pre10

See also Array.suffix