Module type Traverse.GM


module type GM = sig .. end
Minimal graph signature for graph traversal with marking.

include Traverse.G
module Mark: sig .. end