module Traverse: sig end
Dfs and Bfs
|
module type G = sig end
Dfs
or Bfs
module Dfs: functor (G : G) -> sig end
module Bfs: functor (G : G) -> sig end
Traversal with marking
|
module type GM = sig end
module Mark: functor (G : GM) -> sig end