Function lean_sys::relaxed_rc_load

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

Perform a relaxed load of the reference counter of o, which must be a pointer into a valid lean_object