Function lean_is_st 

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

Single-threaded test (lean.h:519–521).

Safety

o must be a valid non-scalar Lean heap object pointer.