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.