[m-rev.] for review: add nondet_member/2

[Julien Fischer]

On Mon, 3 Mar 2025 at 15:28, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
>
> On Mon, 3 Mar 2025 15:21:52 +1100, Julien Fischer <jfischer at opturion.com> wrote:
> >  ### Changes to the `set_unordlist` module
> >
> > +* We have changed the behaviour of the `(out, in) is nondet` mode of the
> > +  predicate `member/2` so that it does not return duplicates on backtracking.
>
> I would say: "... so that it does not return any element of the set more than once".
> (The original could be misread to imply that if the unordlist contains an element more
> than once, i.e. it is a duplicate, it does not get returned AT ALL.)

Done.

Julien.