Function lean_ctor_get_float32

src/constructor.rs:105–108

(o: b_lean_obj_arg, offset: c_uint)

#[inline(always)]
pub unsafe fn lean_ctor_get_float32(o: b_lean_obj_arg, offset: c_uint) -> f32 {
    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 f32).read()
}

#[inline(always)]
pub unsafe fn lean_ctor_set_usize(o: b_lean_obj_arg, i: c_uint, v: usize) {