Function lean_is_shared 

pub unsafe fn lean_is_shared(o: *mut lean_object) -> bool

True if o is single-threaded with refcount > 1 (lean.h:604–610).

Safety

Same as lean_is_st.