Module layout::adt

This module holds the implementations of data structures that are used in the program.

Modules

• dag
  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.
• map
  This module implements the scoped map.