- digraph-union:procedure
Union of directed graphs: given two digraph objects, returns a new digraph containing the union of nodes and edges from the given digraphs. Argument MERGE-LABEL-FN is a procedure that returns a node label given a node index and the labels for that node from the two given digraphs.