lean_sys::sarray::float

Function lean_copy_float_array

Source 
pub unsafe extern "C" fn lean_copy_float_array(
    a: lean_obj_arg,
) -> lean_obj_res