PRESERVES

Kind: keyword

Record: pag:keyword-preserves

Canonical: Grammar

The distinctions a transform keeps · a lowering names what a later check needs

Listed in Grammar records, after GENESIS and before OUTPUT_CONTRACT.

Grounds

• invariant:epi-preserved-distinction