Module type Contraction.G

Minimal graph signature for edge contraction algorithm

type t
module V : Sig.COMPARABLE
type vertex = V.t
module E : Sig.EDGE with type vertex = vertex

Edges are ORDERED_TYPE.

type edge = E.t
val empty : t
val add_edge_e : t -> edge -> t
val fold_edges_e : ( edge -> 'a -> 'a ) -> t -> 'a -> 'a
val fold_vertex : ( vertex -> 'a -> 'a ) -> t -> 'a -> 'a