Make.Pmodule NodeId : GraphSig.ID_TYPEUnique node identifiers, that can serve as keys in maps.
module EdgeId : GraphSig.ID_TYPEUnique edge identifiers, that can serve as keys in maps.
module Port : GraphSig.ID_TYPEEdges connect to nodes through tagged ports.