let
mk_ff_crit ff crit =
T
.
CrFct
{
T
.cf_fct =
T
.
FctSliced
ff ;
T
.cf_info = crit }