edge_clause

Kind: production

Record: pag:production-edge-clause

Canonical: Grammar

<edge_kind> <target_id>

Listed in Grammar records, after record_declaration and before edge_kind.

Grounds

• invariant:epi-declared-dependency

Linked from

• The invariants