index

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

Returns the first index of a value