append

ArrayOfIndex.append(self: pyarts.arts.ArrayOfIndex, arg0: int) None

Appends a Index at the end of the array