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 call-analysis call-analysis setfunctions setfunctions call-analysis->setfunctions combinatorial combinatorial combinatorial->setfunctions contracts->setfunctions ertools->setfunctions peval peval peval->setfunctions currybrowse currybrowse addtypes addtypes currybrowse->addtypes currycheck->contracts easycheck easycheck currycheck->easycheck currycheck->setfunctions allvalues allvalues addtypes->allvalues bpmn2bpel bpmn2bpel bpmn2bpel->allvalues currypp currypp currypp->contracts currypp->currycheck currypp->allvalues currypp->setfunctions searchtree searchtree allvalues->searchtree chr-curry chr-curry chr-curry->searchtree clp-pakcs clp-pakcs clp-pakcs->searchtree coosy coosy coosy->searchtree easycheck->searchtree pflp pflp pflp->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