Module type Traverse.GM


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

include G
module Mark: sig  end