RecursiveK
Memoize
Rule
dagon
reachableIds
Dag
reflexiveTransitiveClosure
Graphs
reset
Cache
HCache
reversed
Graphs
roots
Dag