Function lean_is_mt 

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

Multi-threaded test (lean.h:515–517).

Safety

Same as lean_is_st.