[m-rev.] for review: require distinct variables in quantified pred and func decls

[Zoltan Somogyi]

On Tue, 23 Jul 2024 17:22:34 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> For review by anyone.

My review is attached.

Zoltan.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: REVIEW.reqtv3
Type: application/octet-stream
Size: 1707 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240723/7dc8bc88/attachment.obj>