ConcreteBidirectionalLabeled.I
type t = (S.t * S.t) HM.t
module PV : sig ... end
module PE = E
val iter_edges : ( HM.key -> V.t -> unit ) -> ('a * S.t) HM.t -> unit
val fold_edges : ( HM.key -> V.t -> 'a -> 'a ) -> ('b * S.t) HM.t -> 'c -> 'c
val iter_edges_e : ( (HM.key * Edge.t * V.t) -> unit ) -> ('a * S.t) HM.t -> unit
val fold_edges_e : ( (HM.key * Edge.t * V.t) -> 'a -> 'a ) -> ('b * S.t) HM.t -> 'c -> 'c