Function lean_float_array_cptr

src/sarray/float.rs:22–24

(a: b_lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_float_array_cptr(a: b_lean_obj_arg) -> *mut f64 {
    lean_sarray_cptr(a) as *mut _
}

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