module type G =sig
..end
Minimal graph signature for edge contraction algorithm
type
t
module V:Sig.COMPARABLE
typevertex =
V.t
module E:Sig.EDGE
with type vertex = vertex
typeedge =
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