pub unsafe extern "C" fn Cudd_ReorderingStatus( unique: *mut DdManager, method: *mut Cudd_ReorderingType, ) -> c_int