Dependencies of setfunctions

Package Dependencies verify verify currycheck currycheck verify->currycheck spicey spicey ertools ertools spicey->ertools contract-prover contract-prover contracts contracts contract-prover->contracts failfree failfree failfree->contracts property-prover property-prover property-prover->contracts call-analysis call-analysis setfunctions setfunctions call-analysis->setfunctions combinatorial combinatorial combinatorial->setfunctions contracts->setfunctions currycheck->contracts currycheck->setfunctions currypp currypp currypp->contracts currypp->currycheck currypp->setfunctions ertools->setfunctions peval peval peval->setfunctions prolog2curry prolog2curry prolog2curry->setfunctions time time base base time->base random random random->time random->base searchtree searchtree searchtree->random searchtree->base allvalues allvalues allvalues->searchtree allvalues->base setfunctions->searchtree setfunctions->allvalues setfunctions->base