let
something_visible ci =
Marks
.something_visible (get_sig ci)