620621622623624625626627628629630
a[destination] = f.f(ii, jj); } }; // Update the target array and fold ... folder.updateArray(Arrays.copyOf(this.t, size())); // Now do fold ... fold(folder, options); // ... and return result.