Commit 545fe9d9f0870568c40c17591f3f224c228feba6

Behdad Esfahbod 2019-08-29T15:48:21

[array] Add chop() Takes n, and returns iterator of iterators that contain up to n items each. Basically cuts the array into subarrays of size n. The last sub-array might contain fewer. Ideally this should become a generic iter tool, not array-specific, so we can use it in GPOS to chop a value matrix into rows and elements.