Function lean_array_cptr

src/array/low_level.rs:37–39

(o: b_lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_array_cptr(o: b_lean_obj_arg) -> *mut *mut lean_object {
    raw_field!(o, lean_array_object, m_data) as *mut _
}

#[inline(always)]
pub unsafe fn lean_array_set_size(o: u_lean_obj_arg, sz: usize) {