dag specification is in dag.ads
dag body is in dag.adb
dag.buildannotationexpndag subunit is in dag-buildannotationexpndag.adb
dag.buildexpndag subunit is in dag-buildexpndag.adb
dag.buildgraph subunit is in dag-buildgraph.adb
dag.loopcontext subunit is in dag-loopcontext.adb
dag.type_constraint subunit is in dag-type_constraint.adb
dag.substitutions subunit is in dag-substitutions.adb
