index

ArrayOfMRecord.index(self: pyarts.arts.ArrayOfMRecord, arg0: pyarts.arts.MRecord) int

Returns the first index of a value