Function lean_ctor_set_uint64 

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

Write a u64 field at byte offset within the scalar payload (lean.h:747–750).

Safety

Same as lean_ctor_set_uint16.