Function lean_ctor_set_float

src/constructor.rs:143–146

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

#[inline(always)]
pub unsafe fn lean_ctor_set_float(o: b_lean_obj_arg, offset: c_uint, v: f64) {
    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 f64).write(v)
}

#[inline(always)]
pub unsafe fn lean_ctor_set_float32(o: b_lean_obj_arg, offset: c_uint, v: f32) {