Module id
esl01_dag
Defines types around Id.
Id
An integer that separates distinct groups of Ids.
An integer Id representing a node in the graph. Ids are topologically sorted.
Name of a vertex in the graph.