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.