Function par_range_internal 

fn par_range_internal(
    range: Range<usize>,
    guard: &ParallelGuard,
    proof: FromDyn<()>,
    op: impl Fn(usize) + Dss,
)