let
mk_crit_fct_top fi m = mk_fct_user_crit fi (
T
.
CuTop
m)