PROPERTY

Kind: keyword

Record: pag:keyword-property

Canonical: Grammar

The property, in a form that could be false

Listed in Grammar records, after INVARIANT and before OVER.

Grounds

• substrate-node:invariant