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