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.