preserves_clause

Kind: production

Record: pag:production-preserves-clause

Canonical: Grammar

"preserves:" <distinction_set>

Listed in Grammar records, after contract and before freshness_clause.

Grounds

• invariant:epi-preserved-distinction

Linked from

• The invariants