index

ArrayOfTime.index(self: pyarts.arts.ArrayOfTime, arg0: pyarts.arts.Time) → int

Returns the first index of a value