let
mk_ff_user_select ff crit = mk_ff_crit ff (
T
.
CcUserMark
(
T
.
CuSelect
crit))