pub unsafe extern "C" fn Cudd_bddTransfer( ddSource: *mut DdManager, ddDestination: *mut DdManager, f: *mut DdNode, ) -> *mut DdNode