let eq i j = (i = j)