relaxed_rc_load

lean_sys

Function 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