Function lean_sys::sarray::lean_alloc_sarray
source ยท pub unsafe fn lean_alloc_sarray(
elem_size: c_uint,
size: usize,
capacity: usize,
) -> lean_obj_respub unsafe fn lean_alloc_sarray(
elem_size: c_uint,
size: usize,
capacity: usize,
) -> lean_obj_res