(a: lean_obj_arg, i: usize, v: f64)
| 51 | |
| 52 | #[inline(always)] |
| 53 | pub unsafe fn lean_float_array_uset(a: lean_obj_arg, i: usize, v: f64) -> *mut lean_object { |
| 54 | let r = if lean_is_exclusive(a) { |
| 55 | a |
| 56 | } else { |
| 57 | lean_copy_byte_array(a) |
| 58 | }; |
| 59 | let it = lean_float_array_cptr(r).add(i); |
| 60 | *it = v; |
| 61 | r |
| 62 | } |
| 63 | |
| 64 | #[inline] |
| 65 | pub unsafe fn lean_float_array_set(a: lean_obj_arg, i: b_lean_obj_arg, v: f64) -> *mut lean_object { |
no test coverage detected