interface LensView
A lens and the pixels it lands on — everything a derivation needs.
The pair travels together because half the interesting quantities need both: the circle of confusion, the depth of field and the pixel angle are all claims about a lens on a display, and a consumer given only the lens would have to find the viewport somewhere else, which is where a second producer comes from.
lens.ts:317