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