Function lean_array_swap

src/array/high_level.rs:165–181

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

#[inline(always)]
pub unsafe fn lean_array_swap(
    a: lean_obj_arg,
    i: b_lean_obj_arg,
    j: b_lean_obj_arg,
) -> *mut lean_object {
    if !lean_is_scalar(i) || !lean_is_scalar(j) {
        return a;
    }
    let i = lean_unbox(i);
    let j = lean_unbox(j);
    let sz = lean_array_size(a);
    if i >= sz || j >= sz {
        a
    } else {
        lean_array_uswap(a, i, j)
    }
}

extern "C" {
    pub fn lean_array_get_panic(def_val: lean_obj_arg) -> lean_obj_res;