index

ArrayOfArrayOfIndex.index(self: pyarts.arts.ArrayOfArrayOfIndex, arg0: pyarts.arts.ArrayOfIndex) int

Returns the first index of a value