extend

MapOfErrorCorrectedSuddenData.extend(self: pyarts.arts.ArrayOfErrorCorrectedSuddenData, arg0: pyarts.arts.ArrayOfErrorCorrectedSuddenData) None

Extend the array by another array