Function lean_sys::lean_has_rc
source · [−]pub unsafe fn lean_has_rc(o: *const lean_object) -> bool
Expand description
Whether an object is reference counted
pub unsafe fn lean_has_rc(o: *const lean_object) -> bool
Whether an object is reference counted