let eq d1 d2 = (d1 = d2)