Function lean_sys::sarray::float::lean_float_array_get

source · 
pub unsafe fn lean_float_array_get(a: b_lean_obj_arg, i: b_lean_obj_arg) -> f64