extend

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

Extend the array by another array