Fix.GRAPH
The signature GRAPH
describes a directed, rooted graph. It is used by GraphNumbering.Make
and friends.
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
.