(a: lean_obj_arg, i: usize, v: lean_obj_arg)
| 99 | |
| 100 | #[inline] |
| 101 | pub unsafe fn lean_array_uset(a: lean_obj_arg, i: usize, v: lean_obj_arg) -> *mut lean_object { |
| 102 | let r = lean_ensure_exclusive_array(a); |
| 103 | let it = lean_array_cptr(r).add(i); |
| 104 | lean_dec(*it); |
| 105 | *it = v; |
| 106 | r |
| 107 | } |
| 108 | |
| 109 | #[inline] |
| 110 | pub unsafe fn lean_array_fset( |
no test coverage detected