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