Function lean_float_array_fget

src/sarray/float.rs:48–50

(a: b_lean_obj_arg, i: b_lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_float_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> f64 {
    lean_float_array_uget(a, lean_unbox(i))
}

#[inline(always)]
pub unsafe fn lean_float_array_uset(a: lean_obj_arg, i: usize, v: f64) -> *mut lean_object {