Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c
The clock instrument
Finite names and the destructive clock › The clock instrument · lines 1364–1372
Coherent recording, a nondestructive instrument retaining , and (eq:instrument) are different interfaces. Discarding the retained from the nondestructive instrument recovers (eq:instrument); it does not identify their larger output interfaces.