Module Graph__Traverse
Graph traversal.
Dfs and Bfs
Traversal with marking
Provide a more efficient version of depth-first algorithm when graph vertices are marked.
module type GM = sig ... end
Minimal graph signature for graph traversal with marking. Sub-signature of
Sig
.IM.