index

ArrayOfErrorCorrectedSuddenData.index(self: pyarts.arts.ArrayOfErrorCorrectedSuddenData, arg0: pyarts.arts.ErrorCorrectedSuddenData) int

Returns the first index of a value