let
is_empty t = t.sz = 0