Agda.Utils.Graph
data
Graph
n e
edges
nodes
fromList
empty
singleton
insert
union
unions
lookup
neighbours
growGraph
transitiveClosure
findPath
allPaths