Function lean_sys::sarray::lean_alloc_sarray
source · [−]pub unsafe fn lean_alloc_sarray(
elem_size: c_uint,
size: usize,
capacity: usize
) -> lean_obj_res
pub unsafe fn lean_alloc_sarray(
elem_size: c_uint,
size: usize,
capacity: usize
) -> lean_obj_res