Module Traverse


module Traverse: sig  end
Graph traversal



Dfs and Bfs


module type G = sig  end
Minimal graph signature for Dfs or Bfs
module Dfs: functor (G : G) -> sig  end
Depth-first search
module Bfs: functor (G : G) -> sig  end
Breadth-first search


Traversal with marking


module type GM = sig  end
Minimal graph signature for graph traversal with marking.
module Mark: functor (G : GM) -> sig  end
Graph traversal with marking.