Function lean_mk_empty_array

src/array/high_level.rs:17–19

()

#[inline(always)]
pub unsafe fn lean_mk_empty_array() -> *mut lean_object {
    lean_alloc_array(0, 0)
}

#[inline(always)]
pub unsafe fn lean_mk_empty_array_with_capacity(capacity: b_lean_obj_arg) -> *mut lean_object {