let
is_ctrl m = (
Mark
.is_included
Mark
.ctrl (user_mark m))