let is_empty t = t.data = []