Parameter Pred.1-S

module PE : Sig.EDGE with type vertex = PV.t

Edges are ORDERED_TYPE.

type t
val mem_vertex : PV.t -> t -> bool
val iter_edges : ( PV.t -> PV.t -> unit ) -> t -> unit
val fold_edges : ( PV.t -> PV.t -> 'a -> 'a ) -> t -> 'a -> 'a
val iter_edges_e : ( PE.t -> unit ) -> t -> unit
val fold_edges_e : ( PE.t -> 'a -> 'a ) -> t -> 'a -> 'a