ConstCompares the outgoing edges of a single vertex, handing each pair of edges to diffEdge.
Reports a vertex of the left graph that the right one lacks, unless the right is declared a subgraph.
Compares all edges of both graphs vertex by vertex, handing each pair to diffEdges.
Optionalproject: (edges: EdgeMap) => EdgeMap | undefinedReports a differing number of vertices unless the smaller side is declared a subgraph.
The edge-differencing steps shared by the dataflow and the control flow graph diff.