append

ArrayOfString.append(self: pyarts.arts.ArrayOfString, arg0: pyarts.arts.String) → None

Appends a String at the end of the array