(a: lean_obj_arg, i: usize, v: u8)
| 42 | |
| 43 | #[inline(always)] |
| 44 | pub unsafe fn lean_byte_array_uset(a: lean_obj_arg, i: usize, v: u8) -> *mut lean_object { |
| 45 | let r = if lean_is_exclusive(a) { |
| 46 | a |
| 47 | } else { |
| 48 | lean_copy_byte_array(a) |
| 49 | }; |
| 50 | let it = lean_sarray_cptr(r).add(i); |
| 51 | *it = v; |
| 52 | r |
| 53 | } |
| 54 | |
| 55 | #[inline] |
| 56 | pub unsafe fn lean_byte_array_set(a: lean_obj_arg, i: b_lean_obj_arg, v: u8) -> *mut lean_object { |
no test coverage detected