pub unsafe extern "C" fn lean_dec_ref_cold(o: *mut lean_object)Expand description
Cold path for refcount-zero decrement (lean.h:552). Invoked by
lean_dec_ref when the live count would cross to zero and the
object actually needs freeing.
pub unsafe extern "C" fn lean_dec_ref_cold(o: *mut lean_object)Cold path for refcount-zero decrement (lean.h:552). Invoked by
lean_dec_ref when the live count would cross to zero and the
object actually needs freeing.