extend

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

Extend the array by another array