Function lean_sys::sarray::float::lean_float_array_uget
source · pub unsafe fn lean_float_array_uget(a: b_lean_obj_arg, i: usize) -> f64pub unsafe fn lean_float_array_uget(a: b_lean_obj_arg, i: usize) -> f64