module Traverse:Graph traversal.sig
..end
module type G =sig
..end
Traverse.Dfs
and Traverse.Bfs
.
module Dfs:
module Bfs:
Provide a more efficient version of depth-first algorithm when graph
vertices are marked.
module type GM =sig
..end
module Mark: