sig
type t
module V : Sig.COMPARABLE
module E :
sig
type t
type label
val label : Path.G.E.t -> Path.G.E.label
val dst : Path.G.E.t -> V.t
end
val iter_succ_e : (Path.G.E.t -> unit) -> Path.G.t -> V.t -> unit
end