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