the type of vertices in the graph
the set of vertices in the graph
a map from each vertex to its set of neighbors (outgoing edges)