Function lean_is_persistent 

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

Persistent test (lean.h:524–526).

Safety

Same as lean_is_st.