Function lean_float_array_fset

src/sarray/float.rs:79–85

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

#[inline(always)]
pub unsafe fn lean_float_array_fset(
    a: lean_obj_arg,
    i: b_lean_obj_arg,
    v: f64,
) -> *mut lean_object {
    lean_float_array_uset(a, lean_unbox(i), v)
}

extern "C" {
    pub fn lean_float_array_mk(a: lean_obj_arg) -> lean_obj_res;