module type G = sig .. end
sig
end
type t
module V: sig .. end
module E: sig .. end
val iter_succ : (V.t -> unit) -> t -> V.t -> unit
(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
t -> V.t -> V.t -> E.t