let equal b1 b2 = (b1 = b2)