let
dyn_sl_fct_slice =
Sl_fct_slice
.ty