hax_engine_names::hax::folds

Function fold_chunked_slice

Source 
fn fold_chunked_slice()