Dependencies of setfunction-synthesis

Package Dependencies base base filepath filepath filepath->base propertyfile propertyfile propertyfile->base directory directory propertyfile->directory io-extra io-extra io-extra->base io-extra->directory process process io-extra->process execpath execpath execpath->base execpath->filepath execpath->directory directory->base directory->filepath time time directory->time queue queue queue->base random random queue->random string-trie string-trie string-trie->base containers containers string-trie->containers profiling profiling string-trie->profiling process->base containers->base containers->random random->base random->time currypath currypath currypath->base currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->directory wl-pprint wl-pprint wl-pprint->base wl-pprint->queue xml xml xml->base transformers transformers transformers->base time->base rw-data rw-data rw-data->base rw-data->directory rw-data->string-trie rw-data->process rw-data->containers read-legacy read-legacy rw-data->read-legacy rw-data->profiling redblacktree redblacktree redblacktree->base redblacktree->random read-legacy->base profiling->base frontend-exec frontend-exec frontend-exec->base frontend-exec->filepath frontend-exec->propertyfile frontend-exec->process frontend-exec->currypath searchtree searchtree searchtree->base searchtree->random flatcurry-annotated flatcurry-annotated flatcurry-annotated->base flatcurry-annotated->filepath flatcurry-annotated->directory flatcurry-annotated->currypath flatcurry-annotated->wl-pprint flatcurry flatcurry flatcurry-annotated->flatcurry flatcurry->base flatcurry->filepath flatcurry->directory flatcurry->currypath flatcurry->wl-pprint flatcurry->xml flatcurry->transformers flatcurry->time flatcurry->rw-data flatcurry->redblacktree flatcurry->read-legacy flatcurry->profiling flatcurry->frontend-exec finite-map finite-map finite-map->base finite-map->random abstract-curry abstract-curry abstract-curry->base abstract-curry->filepath abstract-curry->directory abstract-curry->currypath abstract-curry->wl-pprint abstract-curry->read-legacy abstract-curry->frontend-exec setfunction-synthesis setfunction-synthesis setfunction-synthesis->currypath setfunction-synthesis->searchtree setfunction-synthesis->flatcurry-annotated setfunction-synthesis->flatcurry setfunction-synthesis->finite-map setfunction-synthesis->abstract-curry