pub unsafe fn lean_array_swap( a: lean_obj_arg, i: b_lean_obj_arg, j: b_lean_obj_arg, ) -> *mut lean_object