let something_visible ci = Marks.something_visible (get_sig ci)