extend

ArrayOfWsvRecord.extend(self: pyarts.arts.ArrayOfWsvRecord, arg0: pyarts.arts.ArrayOfWsvRecord) → None

Extend the array by another array