INVARIANT

Kind: keyword

Record: pag:keyword-invariant

Canonical: Grammar

The record head · a property the topology relies on, with its set, its parties and its objector

Listed in Grammar records, after COMPLETION and before PROPERTY.

Grounds

• substrate-node:invariant
• invariant:epi-reachable-check

Expresses

• Stated Invariant

Linked from

• Coordination Surfaces