Function lean_inc_ref 

pub unsafe fn lean_inc_ref(o: *mut lean_object)

Bump o’s refcount by one (lean.h:548–550).

Safety

Same as lean_inc_ref_n.