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