ForHashedType.2-G
type t = T.t
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