Previous
Up
Module type
Traverse.GM
module type
GM =
sig
..
end
Minimal graph signature for graph traversal with marking.
include
Traverse.G
module
Mark
:
sig
..
end