Function lean_array_fget_borrowed

src/array/high_level.rs:42–44

(a: b_lean_obj_arg, i: b_lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_array_fget_borrowed(a: b_lean_obj_arg, i: b_lean_obj_arg) -> lean_obj_res {
    lean_array_get_core(a, lean_unbox(i))
}

#[inline]
pub unsafe fn lean_array_get(