Agda.Utils.Graph

data Graph n e

edges

nodes

fromList

empty

singleton

insert

union

unions

lookup

neighbours

growGraph

transitiveClosure

findPath

allPaths