Module Graph.Traverse

module type G = sig ... end
module Dfs (G : G) : sig ... end
module Bfs (G : G) : sig ... end
module type GM = sig ... end
module Mark (G : GM) : sig ... end