Function ppl_finalize 

pub unsafe extern "C" fn ppl_finalize() -> c_int

\brief Finalizes the Parma Polyhedra Library. This function must be called after any other function.

The thread performing library finalization (typically, the main thread) should not explicitly call ppl_thread_finalize().

\return PPL_ERROR_INVALID_ARGUMENT if the library was already finalized.