Function lean_ctor_set_float32

src/constructor.rs:149–152

(o: b_lean_obj_arg, offset: c_uint, v: f32)

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