# Module Traverse

    module Traverse: sig .. end

Graph traversal.

## Dfs and Bfs

    module type G = sig .. end

Minimal graph signature for `Traverse.Dfs` and `Traverse.Bfs`.

    module Dfs: functor (G : G) -> sig .. end

Depth-first search

    module Bfs: functor (G : G) -> sig .. end

Breadth-first search

## Traversal with marking

Provide a more efficient version of depth-first algorithm when graph vertices are marked.

    module type GM = sig .. end

Minimal graph signature for graph traversal with marking.

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

Graph traversal with marking.