Function lean_dec 

pub unsafe fn lean_dec(o: *mut lean_object)

Decrement o’s refcount, or no-op for scalar-tagged pointers (lean.h:563).

Safety

Same as lean_inc.