index

ArrayOfString.index(self: pyarts.arts.ArrayOfString, arg0: pyarts.arts.String) int

Returns the first index of a value