invariant_block

Kind: production

Record: pag:production-invariant-block

Canonical: Grammar

"#" "CROSS-NODE" "INVARIANTS" <invariant_record>+

Listed in Grammar records, after repair_edge and before invariant_record.

Grounds

• substrate-node:invariant

Expresses

• Stated Invariant

Linked from

• Coordination Surfaces