Source code for titan_pylib.others.Int
1import random
2
3
[docs]
4class Int(int):
5
6 _rand = random.getrandbits(32)
7 while _rand == 0:
8 random.getrandbits(32)
9
10 def __init__(self, x: int):
11 int.__init__(x)
12
13 def __hash__(self):
14 return super(Int, self).__hash__() ^ Int._rand