Difference between revisions of "Array.suffix()"
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...") |
|||
Line 32: | Line 32: | ||
|} | |} | ||
− | See also [[Array. | + | See also [[Array.prefix()]] |
Revision as of 15:18, 4 March 2017
Array.suffix(Suffix)
Returns an array with the Suffix applied to each element.
1..10.suffix("suf")
1suf |
2suf |
3suf |
4suf |
5suf |
6suf |
7suf |
8suf |
9suf |
10suf |
See also Array.prefix()