extend

ArrayOfArrayOfIndex.extend(self: pyarts.arts.ArrayOfArrayOfIndex, arg0: pyarts.arts.ArrayOfArrayOfIndex) None

Extend the array by another array