extend

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

Extend the array by another array