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.