Grammar

DAG

Kind: keyword

Record: pag:keyword-dag

Canonical: Grammar

Graph declaration · makes a dependency graph explicit, and the loop spine is one

Listed in Grammar records, after ENTRY and before DEPENDS_ON.

Grounds

  • representation:graph
  • invariant:epi-declared-dependency