Function lean_sys::sarray::float::lean_float_array_set

source · 
pub unsafe fn lean_float_array_set(
    a: lean_obj_arg,
    i: b_lean_obj_arg,
    v: f64
) -> *mut lean_object