Open main menu
Home
Random
Log in
Settings
About ZCubes Wiki
Disclaimers
ZCubes Wiki
Search
Array.pastefolds()
Language
Watch
Edit
<< Z3 Home
Z3 Language Documentation
Listing of Z3 Array Manipulation Member Functions
Array.pastefolds(SomeMidOnly)
Unfold the result of a fold.
See Also
pairmatch
fold