Function lean_float_array_set

src/sarray/float.rs:65–76

(a: lean_obj_arg, i: b_lean_obj_arg, v: f64)

#[inline]
pub unsafe fn lean_float_array_set(a: lean_obj_arg, i: b_lean_obj_arg, v: f64) -> *mut lean_object {
    if !lean_is_scalar(i) {
        a
    } else {
        let i = lean_unbox(i);
        if i >= lean_sarray_size(a) {
            a
        } else {
            lean_float_array_uset(a, i, v)
        }
    }
}

#[inline(always)]
pub unsafe fn lean_float_array_fset(