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 -> 'a -> 'a
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 -> 'a -> 'a