Function lean_sys::lean_is_mt

source · 
pub unsafe fn lean_is_mt(o: *const lean_object) -> bool
Expand description

Whether an object is multi-threaded