The behavior when the input includes duplicates is underspecified, it seems to me. You’ll probably need to look at the implementation to figure out what happens in that case. A pull request improving the documentation would be welcome.
The behavior when the input includes duplicates is underspecified, it seems to me. You’ll probably need to look at the implementation to figure out what happens in that case. A pull request improving the documentation would be welcome.