let
is_empty t = (compare
B
.empty t = 0)