let
is_empty t = t.data = []