Is 'shuffle' uniform across all permutations?

[RalfJung]

The documentation for shuffle does not explicitly state the probability distribution it implements. What I would expect as a result is a permutation chosen uniformly at random from the set of all permutations. Is that what it does?

[dhardy]

Yes.

I guess this should be better documented, though there isn't really any other distribution which would make sense (albeit there are likely quite a few shuffle implementations which are mistakenly non-uniform).

[vks]

This also depends on the generator: If the number of permutations is larger than the state can represent, some permutations have zero probability.