let
raise_if_visible () (_, m) =
if
M
.is_bottom m
then
()
else
raise
Visible