repair_edge

Kind: production

Record: pag:production-repair-edge

Canonical: Grammar

"#" "REPAIR" "EDGE" <description>

Listed in Grammar records, after arrow and before invariant_block.

Grounds

• node:ver-refutation

Linked from

• The nodes