let is_empty t = (compare "" t = 0)