Function lean_ptr_other 

pub unsafe fn lean_ptr_other(o: *mut lean_object) -> u8

Read the object’s m_other byte (lean.h:497–499).

Safety

Same as lean_ptr_tag.