Dependencies of searchtree

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 curry-source curry-source curry-source->setfunctions ertools->setfunctions peval peval peval->setfunctions prolog2curry prolog2curry prolog2curry->setfunctions currybrowse currybrowse addtypes addtypes currybrowse->addtypes currycheck->contracts easycheck easycheck currycheck->easycheck currycheck->setfunctions allvalues allvalues addtypes->allvalues bpmn2bpel bpmn2bpel bpmn2bpel->allvalues coosy coosy coosy->allvalues currypp currypp currypp->contracts currypp->currycheck regexp regexp currypp->regexp currypp->allvalues currypp->setfunctions pflp pflp pflp->allvalues regexp->allvalues searchtree searchtree allvalues->searchtree chr-curry chr-curry chr-curry->searchtree clp-pakcs clp-pakcs clp-pakcs->searchtree easycheck->searchtree searchtree-unsafe searchtree-unsafe searchtree-unsafe->searchtree setfunction-synthesis setfunction-synthesis setfunction-synthesis->searchtree setfunctions->allvalues setfunctions->searchtree time time base base time->base random random random->time random->base searchtree->random searchtree->base