module Breadth

: sig

module Make : functor (G : sig

type vertex

type label

val set_mark : vertex -> Mark.t -> unit

val get_mark : vertex -> Mark.t

val entry : (vertex -> unit) -> unit

val successors : (label -> vertex -> unit) -> vertex -> unit

end

) -> sig

val search : (bool -> G.vertex -> G.label -> G.vertex -> unit) -> unit

end