Edge weight used for the graph nodes
Simple HashMap-based name generator that generates new names for each prefix.
Weight graph provides a wrapper over a Graph that allows adding edges using
the NodeWeight type
T (petgraph only allows adding edges using
Additionally, the edges are not allowed to have any weights.
Possible choices for output streams.
Used by the
-o option to the compiler.