index

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

Returns the first index of a value