COPY

Kind: keyword

Record: pag:keyword-copy

Canonical: Grammar

Duplication · a second derivation of one fact, declared as such

Listed in Grammar records, after MOVE and before BACKUP.

Grounds

• invariant:epi-one-derivation