Grammar

STATE_MACHINE

Kind: keyword

Record: pag:keyword-state-machine

Canonical: Grammar

Machine declaration · makes a lifetime or a derived-state set explicit

Listed in Grammar records, after SWAP and before STATE.

Grounds

  • representation:dynamical-systems