(
a: lean_obj_arg,
i: b_lean_obj_arg,
j: b_lean_obj_arg,
)
| 154 | |
| 155 | #[inline(always)] |
| 156 | pub unsafe fn lean_array_fswap( |
| 157 | a: lean_obj_arg, |
| 158 | i: b_lean_obj_arg, |
| 159 | j: b_lean_obj_arg, |
| 160 | ) -> *mut lean_object { |
| 161 | lean_array_uswap(a, lean_unbox(i), lean_unbox(j)) |
| 162 | } |
| 163 | |
| 164 | #[inline(always)] |
| 165 | pub unsafe fn lean_array_swap( |
nothing calls this directly
no test coverage detected