let
mk_appli_select_calls fi =
T
.
CrAppli
(
T
.
CaCall
fi)