(a: lean_obj_arg, i: b_lean_obj_arg, v: u8)
| 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 { |
| 57 | if !lean_is_scalar(i) { |
| 58 | a |
| 59 | } else { |
| 60 | let i = lean_unbox(i); |
| 61 | if i >= lean_sarray_size(a) { |
| 62 | a |
| 63 | } else { |
| 64 | lean_byte_array_uset(a, i, v) |
| 65 | } |
| 66 | } |
| 67 | } |
| 68 | |
| 69 | #[inline(always)] |
| 70 | pub unsafe fn lean_byte_array_fset(a: lean_obj_arg, i: b_lean_obj_arg, v: u8) -> *mut lean_object { |
nothing calls this directly
no test coverage detected