let is_empty t = size t = 0