Function lean_ctor_get_float

src/constructor.rs:99–102

(o: b_lean_obj_arg, offset: c_uint)

#[inline(always)]
pub unsafe fn lean_ctor_get_float(o: b_lean_obj_arg, offset: c_uint) -> f64 {
    debug_assert!(offset >= lean_ctor_num_objs(o) * core::mem::size_of::<*const ()>() as c_uint);
    ((lean_ctor_obj_cptr(o) as *const u8).add(offset as usize) as *const f64).read()
}

#[inline(always)]
pub unsafe fn lean_ctor_get_float32(o: b_lean_obj_arg, offset: c_uint) -> f32 {