OUTPUT_CONTRACT

Kind: keyword

Record: pag:keyword-output-contract

Canonical: Grammar

The one record the next node reads, as an assignment

Listed in Grammar records, after PRESERVES and before LIMIT.

Grounds

• axis:formalization