Function lean_sys::array::high_level::lean_array_uswap
source · pub unsafe fn lean_array_uswap(
a: lean_obj_arg,
i: usize,
j: usize
) -> *mut lean_objectpub unsafe fn lean_array_uswap(
a: lean_obj_arg,
i: usize,
j: usize
) -> *mut lean_object