extend

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

Extend the array by another array