Function lean_array_get_core

src/array/low_level.rs:50–53

(o: b_lean_obj_arg, i: usize)

#[inline(always)]
pub unsafe fn lean_array_get_core(o: b_lean_obj_arg, i: usize) -> b_lean_obj_res {
    debug_assert!(i < lean_array_size(o));
    *(raw_field!(lean_to_array(o), lean_array_object, m_data) as *mut *mut lean_object).add(i)
}

#[inline(always)]
pub unsafe fn lean_array_set_core(o: u_lean_obj_arg, i: usize, v: lean_obj_arg) {