Function lean_alloc_sarray

src/sarray/mod.rs:10–18

(elem_size: c_uint, size: usize, capacity: usize)

#[inline]
pub unsafe fn lean_alloc_sarray(elem_size: c_uint, size: usize, capacity: usize) -> lean_obj_res {
    let o = lean_alloc_object(
        core::mem::size_of::<lean_sarray_object>() + (elem_size as usize) * capacity,
    ) as *mut lean_sarray_object;
    lean_set_st_header(o as *mut _, LeanScalarArray as u32, elem_size);
    (raw_field!(o, lean_sarray_object, m_size) as *mut usize).write(size);
    (raw_field!(o, lean_sarray_object, m_capacity) as *mut usize).write(capacity);
    o as *mut _
}

#[inline(always)]
pub unsafe fn lean_sarray_elem_size(o: *const lean_object) -> c_uint {