array Array.flatten(array a)
Flatten a multi-dimensional array to a one-dimensional array.
Extracted from Pike v7.3 release 11 at 2001-11-03.