extend

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

Extend the array by another array