Function lean_sys::lean_unbox
source · pub fn lean_unbox(o: *const lean_object) -> usize
Expand description
Unbox a lean_object
into a usize
See lean_box
for usage examples.
pub fn lean_unbox(o: *const lean_object) -> usize
Unbox a lean_object
into a usize
See lean_box
for usage examples.