Function lean_sys::sarray::float::lean_float_array_uset

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