Function lean_free_object 

pub unsafe extern "C" fn lean_free_object(o: *mut lean_object)

Free a Lean heap object previously allocated with lean_alloc_object (lean.h:491).