let equal (b1,p1) (b2,p2) = (b1 = b2) && (p1 = p2)