Function lean_sys::lean_is_st
source · pub unsafe fn lean_is_st(o: *const lean_object) -> bool
Expand description
Whether an object is single-threaded
pub unsafe fn lean_is_st(o: *const lean_object) -> bool
Whether an object is single-threaded