Module Make.Topological

Topological traversal

val fold : (vertex -> 'a -> 'a) -> t -> 'a -> 'a