extend

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

Extend the array by another array