Function lean_box_uint64 

pub unsafe fn lean_box_uint64(v: u64) -> lean_obj_res

Box a u64 as a single-field constructor (lean.h:2835–2839).

Safety

Same as lean_box_uint32.