[m-rev.] diff: encode a fundeps invariant in types

[Zoltan Somogyi]

This should not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.fd
Type: application/x-raw-floppy-disk-image
Size: 534 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250921/7c42922d/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.fd
Type: application/x-raw-floppy-disk-image
Size: 8169 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250921/7c42922d/attachment-0003.bin>