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