Function lean_copy_array

src/array/high_level.rs:87–89

(a: lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_copy_array(a: lean_obj_arg) -> lean_obj_res {
    lean_copy_expand_array(a, false)
}

#[inline(always)]
pub unsafe fn lean_ensure_exclusive_array(a: lean_obj_arg) -> lean_obj_res {