let
mk_crit_fct_user_select fi select = mk_fct_user_crit fi (
T
.
CuSelect
select)