Make.G

type t = M.key

The type of vertices.

val foreach_root : (t -> unit) -> unit

foreach_root yield must call yield x at least once for every vertex x that is considered a root (an entry point) of the graph. It may call yield x several times at a single vertex x.

foreach_root yield

yield x

x

val foreach_successor : t -> (t -> unit) -> unit

foreach_successor x yield must call yield y for every vertex y that is a successor of the vertex x in the graph.

foreach_successor x yield

yield y

y