Graph.Traverse
module type G = sig ... end
module Dfs : functor (G : G) -> sig ... end
module Bfs : functor (G : G) -> sig ... end
module type GM = sig ... end
module Mark : functor (G : GM) -> sig ... end