Function lean_array_uget

src/array/high_level.rs:30–34

(a: b_lean_obj_arg, i: usize)

#[inline]
pub unsafe fn lean_array_uget(a: b_lean_obj_arg, i: usize) -> lean_obj_res {
    let r = lean_array_get_core(a, i);
    lean_inc(r);
    r
}

#[inline(always)]
pub unsafe fn lean_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> lean_obj_res {