index

ArrayOfCIARecord.index(self: pyarts.arts.ArrayOfCIARecord, arg0: pyarts.arts.CIARecord) → int

Returns the first index of a value