module uniqueInts
assert UniqueInts {
	all i, j: Int | int i = int j => i = j
	}
check UniqueInts