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

module type GM = sig .. end

Minimal graph signature for graph traversal with marking.

module Mark: functor (G : GM) -> sig .. end

Graph traversal with marking.