let dyn_sl_fct_slice = Sl_fct_slice.ty