index

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

Returns the first index of a value