let can_redo t = t.f_data <> []