Function lean_sys::array::low_level::lean_alloc_array
source · pub unsafe fn lean_alloc_array(size: usize, capacity: usize) -> *mut lean_objectpub unsafe fn lean_alloc_array(size: usize, capacity: usize) -> *mut lean_object