Function lean_array_sz

src/array/high_level.rs:5–9

(a: lean_obj_arg)

#[inline]
pub unsafe fn lean_array_sz(a: lean_obj_arg) -> *mut lean_object {
    let r = lean_box(lean_array_size(a));
    lean_dec(a);
    r
}

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