Function lean_array_uswap

src/array/high_level.rs:148–153

(a: lean_obj_arg, i: usize, j: usize)

#[inline]
pub unsafe fn lean_array_uswap(a: lean_obj_arg, i: usize, j: usize) -> *mut lean_object {
    let r = lean_ensure_exclusive_array(a);
    let it = lean_array_cptr(r);
    core::ptr::swap(it.add(i), it.add(j));
    r
}

#[inline(always)]
pub unsafe fn lean_array_fswap(