extend

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

Extend the array by another array