Function lean_ctor_set_uint32 

pub unsafe fn lean_ctor_set_uint32(o: b_lean_obj_arg, offset: u32, v: u32)

Write a u32 field at byte offset within the scalar payload (lean.h:742–745).

Safety

Same as lean_ctor_set_uint16.