CONVERT

Kind: keyword

Record: pag:keyword-convert

Canonical: Grammar

Transformation · a lowering that names what it preserves

Listed in Grammar records, after COMPARE and before MERGE.

Grounds

• invariant:epi-preserved-distinction