Function lean_box_usize 

pub unsafe fn lean_box_usize(v: usize) -> lean_obj_res

Box a usize as a single-field constructor (lean.h:2845–2849).

Safety

Same as lean_box_uint32.