Expand description
This module holds the implementations of data structures that are used in the program.
Modules
This module implements the Ranked-DAG data structure. I’s a data structure
that represents the edges between nodes in the dag as well as the leveling
of the nodes. A rank is the ordering of some nodes along the x-axis. Users
of this data structure may change the leveling of nodes, and the only
guarantee is that the nodes are assigned to some level.
This module implements the scoped map.