let
mk_fct_user_crit fi crit = mk_fct_crit fi (
T
.
CcUserMark
crit)