Function lean_array_set

src/array/high_level.rs:119–131

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

#[inline]
pub unsafe fn lean_array_set(
    a: lean_obj_arg,
    i: b_lean_obj_arg,
    v: lean_obj_arg,
) -> *mut lean_object {
    if lean_is_scalar(i) {
        let idx = lean_unbox(i);
        if idx < lean_array_size(a) {
            return lean_array_uset(a, idx, v);
        }
    }
    lean_array_set_panic(a, v)
}

#[inline]
pub unsafe fn lean_array_pop(a: lean_obj_arg) -> *mut lean_object {