Function lean_unbox 

pub unsafe fn lean_unbox(o: *mut lean_object) -> usize

Unbox a scalar Lean object (lean.h:314).

Safety

o must be scalar-tagged (low bit set). Otherwise the returned usize is the raw pointer right-shifted by one and meaningless.