module Traverse: sig
.. end
Graph traversal.
module type G = sig
.. end
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.