Module type DGraphSubTree.G

module type G = sig .. end

type t 
module V: sig .. end
module E: sig .. end
val iter_succ : (V.t -> unit) ->
t -> V.t -> unit
val iter_pred : (V.t -> unit) ->
t -> V.t -> unit
val find_edge : t ->
V.t -> V.t -> E.t