let
is_empty t = length t = 0