sig
type graph
type vertex
type edge
type edge_label
val merge_vertex : Merge.S.graph -> Merge.S.vertex list -> Merge.S.graph
val merge_edges_e :
?src:Merge.S.vertex ->
?dst:Merge.S.vertex ->
Merge.S.graph -> Merge.S.edge list -> Merge.S.graph
val merge_edges_with_label :
?src:Merge.S.vertex ->
?dst:Merge.S.vertex ->
?label:Merge.S.edge_label ->
Merge.S.graph -> Merge.S.edge_label -> Merge.S.graph
val merge_isolabelled_edges : Merge.S.graph -> Merge.S.graph
val merge_ends :
?strict:bool ->
?specified_vertex:Merge.S.vertex -> Merge.S.graph -> Merge.S.graph
val merge_starts :
?strict:bool ->
?specified_vertex:Merge.S.vertex -> Merge.S.graph -> Merge.S.graph
val merge_scc :
?loop_killer:bool ->
?specified_vertex:(Merge.S.vertex list -> Merge.S.vertex) ->
Merge.S.graph -> Merge.S.graph
end