lean_sys

Function lean_box

Source 
pub const fn lean_box(n: usize) -> *mut lean_object
Expand description

Box a usize into a lean_object

ยงExamples

for i in [0, 5, 658948, 1 << (usize::BITS - 2)] {
    assert_eq!(lean_unbox(lean_box(i)), i);
}