type graphtype vertextype edgetype edge_label
val merge_vertex : graph -> vertex list -> graphval merge_edges_e : ?src:vertex -> ?dst:vertex -> graph -> edge list -> graphval merge_edges_with_label : ?src:vertex -> ?dst:vertex -> ?label:edge_label -> graph -> edge_label -> graphval merge_isolabelled_edges : graph -> graphval merge_ends : ?strict:bool -> ?specified_vertex:vertex -> graph -> graphval merge_starts : ?strict:bool -> ?specified_vertex:vertex -> graph -> graphval merge_scc : ?loop_killer:bool -> ?specified_vertex:(vertex list -> vertex) -> graph -> graph