let is_empty t = 0 = length t