Function lean_sys::array::high_level::lean_ensure_exclusive_array

source · 
pub unsafe fn lean_ensure_exclusive_array(a: lean_obj_arg) -> lean_obj_res