Functor Traversal.Dfs

module Dfs (A : A)  (G : G) : sig .. end

module T: Traversal.Traversal(A)

include T

module Stack: Vector.Stack(sig

type t = int 


val default : int
end)

exception Found of T.t

val def : Traversal.G.t -> int -> T.t