Manuscript I@2 · I.tex · figure · 85631fa7
Figure
Typed records and experiment interfaces › The record transformation · lines 1058–1078
I@2#fig:record-interface
The record equation is equality of declared classical observations. It is not equality of complete output instruments with different residual interfaces.