Are duplicate values in any/all/none junctions expected to "collapse"
such that each value becomes unique? For example, should
any(1,2,2,1,2,3,2) internally reduce to the equivalent of
any(1, 2, 3)? Or is this something that is left to individual
implementations to decide?
Presumably the values of a one() junction do not collapse in
this way, otherwise we could easily lose the fact that
a value occurs more than once:
my $a = (one(1,2,3) % 2 == 1);
Comments and/or pointers to relevant specifications that I've
missed are welcomed.