let
mk_fct_crit fi crit =
T
.
CrFct
{
T
.cf_fct =
T
.
FctSrc
fi ;
T
.cf_info = crit }